彼得·哈里森。；本·斯特鲁洛 SPADES–离散事件模拟的过程代数。 （英语） Zbl 0949.68112号 J.日志。计算。 10，第1期，3-42（2000）. 摘要：我们提出了一个基于Milner的CCS的进程代数SPADES，它可以用来描述具有并行性的离散事件模拟。它能够描述时间的流逝和概率选择，可以是离散的，在可数进程之间，也可以是连续的，以选择随机的等待时间。它的操作语义被表示为一个标记的转换系统，我们讨论了该操作语义的等价性，该操作语义包含可用于正式比较和转换过程的公理。我们在模拟规范的背景下讨论了模拟的等价概念和非确定性的含义。代数用于定量描述一系列通信系统。 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68岁20岁 模拟（MSC2010） 关键词：进程代数；离散事件模拟 软件：铲刀 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Harrison}和\textit{B.Strulo}，J.Log。计算。10，第1号，第3-42号（2000；Zbl 0949.68112） 全文： DOI程序