G.布多尔。；卡斯特拉尼，I。；轩尼诗，M。；Kiehn，A。 观察地点。（扩展摘要）。 （英语） Zbl 0778.68055号 计算机科学数学基础。第16国际交响乐团。，Kazimierz Dolny/波兰。1991年，法律。注释计算。科学。520, 93-102 (1991). [关于整个系列，请参见兹比尔0753.00030.]我们发展了这样的想法，即位置名称是作为观察行为的一部分而动态分配的；当观察者看到一个动作时，它自然会被视为来自特定位置，然后观察者可以选择为该位置分配一个名称。然后，在该位置执行的所有后续操作将被视为来自同一位置。从技术上讲，这涉及到开发语言的操作语义，方法是用新的形式语句替换通常的形式语句\（P@>a>>Q），其中包含有关观察者分配给系统中特定位置的位置名称的信息。这与I.卡斯特拉尼和M.轩尼诗[分布式交互模拟，J.Assoc.Comput.Mach.10（4），887-911（1989；Zbl 0697.68076号)],I.卡斯特拉尼[爱丁堡大学博士论文《并行模拟》（Bisimulations for Concurrency）（1988）]和A.基恩【有限CCS的分布式互模拟，报告7/89，苏塞克斯大学（1989）】，其中定义了分布式互模拟。 引用于1审查引用于7文件 MSC公司： 第68季度55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：过程语义理论；分布式交互模拟；位置等效性 引文：Zbl 0753.00030号；Zbl 0697.68076号 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}等人，Lect。注释计算。科学。520、93——102（1991年；Zbl 0778.68055）