阿兰·马丁。 探测：通信原语的一个补充。 （英语） Zbl 0586.68023号 信息处理。莱特。 20, 125-130 (1985). 我们考虑一个用于分布式计算的编程语言内核，它由一个序列部分组成——赋值、选择、重复、递归、序列合成——通过进程和通信原语的并发合成进行扩展。CSP及其变体就是这样一个内核[C.A.R.霍尔，公社。ACM 21，666-677（1978；Zbl 0383.68029号)].我们建议对这种内核中使用的通信原语进行简单的添加。这个额外的原语称为探针，通过抑制卫士中通信动作的需要，同时增强其表达能力，简化了语言的语义。在介绍了通信原语及其语义之后，通过一系列示例说明了探针的使用。最后，讨论了实现问题。 引用于5文件 MSC公司： 第68页第25页 操作系统理论 关键词：信号灯;有限缓冲;堆栈;公平;程序设计语言内核;分布式计算;通讯原语;CSP公司;探查 引文：兹伯利0383.68029 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Martin}，Inf.流程。莱特。20、125-130（1985年；Zbl 0586.68023） 全文： 内政部 参考文献： [1] Bernstein，A.J.，“通信顺序过程”中的输出保护和不确定性，ACM TOPLAS，2，3，234-238（1980） [2] Dijkstra，E.W.，《程序设计学科》（1976），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0286.00013号 [3] Dijkstra，E.W.，《合作顺序过程》（Genuys，F.，《编程语言》（1968），学术出版社：纽约学术出版社） [4] Hoare，C.A.R.，通信顺序过程，通信ACM，21，666-677（1978）·Zbl 0383.68028号 [5] Martin，A.J.，同步原语的公理化定义，信息学报，16，219-235（1981）·Zbl 0469.68037号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。