科西莫·拉内夫;吉安路易吉·扎瓦塔罗 网络交易的基础。 （英语） Zbl 1118.68335号 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441282-298（2005）。 摘要：研究了带有事务结构的\（\pi\）-演算的时间扩展-演算\（\text{Web}\pi\。Web的底层模型依赖于过程网络；时间在网络级别异步进行，而在进程级别受到本地紧急性的限制。也就是说，不能为了有利于闲置步骤而延迟流程缩减。扩展模型——时间上的双相似性——以不同于以往提案的方式处理时间和异步。特别是，当当地紧急程度降低时，时间相似性的辨别力较弱。还讨论了时间双相似性的标记特征。关于整个系列，请参见[Zbl 1068.68009号]. 引用于18文件 MSC公司： 68M10个 计算机系统中的网络设计与通信 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{G.Zavataro}，莱克特。注释计算。科学。3441282-298（2005年；兹bl 1118.68335） 全文： DOI程序