斯蒂芬·布鲁克斯 用于通信过程的跟踪、pomset、公平性和完整抽象。 （英语） Zbl 1012.68136号 Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2421, 466-482 (2002). 摘要：我们为具有同步通信和弱公平并行形式的进程提供了一种指称跟踪语义。语义是完全抽象的：当且仅当进程的通信行为在所有上下文中都相同时，进程才具有相同的跟踪集。该模型可以很容易地适用于异步通信进程或共享内存并行程序。我们还提供了部分顺序语义，使用了适合于同步的pomset和我们的公平形式。pomset语义也可以调整为模型替代范式。通过采用与部分顺序一致的所有公平交错，可以从pomset语义中恢复进程的痕迹。关于整个系列，请参见[Zbl 0997.00031号]。 引用于9文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes}，莱克特。注释计算。科学。2421466-482（2002年；兹比尔1012.68136） 全文： 链接