G.Michele Pinna;安德烈亚·萨巴 事件结构中的同时性。 （英文） Zbl 1284.68431号 Kratochvíl，Jan（编辑）等人，《计算模型的理论和应用》。2010年6月7日至11日在捷克共和国布拉格举行的TAMC 2010第七届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13561-3/pbk）。计算机科学课堂讲稿6108385-396（2010）。 摘要：各种品牌的事件结构，素数、束、流、非对称、抑制器等等，都被提出要面对计算中出现的各种因果关系和冲突。同时性的概念，即某些事件必须一起发生的忠实表示，通常被排除在并发计算模型之外，但有一些明显的例外，如Pratt的Chu空间或Bruni和Montanari的零安全网。本文提出了一个同时性事件结构的概念来考虑同时性，并将引入的概念与素数事件结构和域联系起来。关于整个系列，请参见[Zbl 1189.68012号]. 引用于1文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna}和\textit{A.Saba}，莱克特。注释计算。科学。6108385-396（2010年；Zbl 1284.68431） 全文： 内政部