格温·萨拉恩；杰夫·克莱默；弗雷德里克·朗；杰夫·马吉 将FSP转换为LOTOS和自动机网络。 （英语） Zbl 1213.68410号 Davies，Jim（编辑）等，《综合形式方法》。2007年7月2日至5日，第六届国际会议，IFM 2007，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73209-9/pbk）。计算机科学课堂讲稿4591558-578（2007）。 摘要：自罗宾·米尔纳（Robin Milner）和托尼·霍尔（Tony Hoare）25年多前开辟道路以来，人们提出了许多过程计算方法。虽然它们基于相同的运算符内核，但大多数在实践中是不兼容的。我们的目标是缩小过程计算之间的差距，特别是使联合使用底层工具支持成为可能。Fsp公司是一种广泛使用的微积分有限责任公司，一个图形化且用户友好的工具。洛托斯是唯一一个形成国际标准的过程演算，并得到Cadp公司验证工具箱。我们建议将Fsp公司到洛托斯.自Fsp公司复合过程很难编码洛托斯，它们被翻译成自动机网络，这是另一种被接受的输入语言卡德普因此，可以联合使用有限责任公司和卡德普以验证Fsp公司规范。我们的方法完全由我们实现的翻译工具自动化。关于整个系列，请参见[Zbl 1120.68004号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：M-树 PDF格式BibTeX公司 XML格式引用 \textit{G.Salaün}等人，Lect。注释计算。科学。4591、558--578（2007年；Zbl 1213.68410） 全文： 内政部 哈尔