×

兹马思-数学第一资源

将FSP转换成loto和自动机网络。(英语) Zbl 1213.68410
Davies,Jim(ed.)等人,综合形式方法。2007年7月2日至5日在英国牛津举行的第六届国际会议。柏林:斯普林格出版社(ISBN 978-3-540-73209-9/pbk)。计算机科学课堂讲稿4591558-578(2007)。
小结:自从25年前罗宾·米尔纳和托尼·霍尔开创了这条道路以来,人们提出了许多计算过程。虽然它们是基于同一个核的运算符,但在实际应用中大多数是不兼容的。我们的目标是缩小过程计算之间的差距,特别是使基础工具支持的联合使用成为可能。Fsp公司是一种广泛使用的微积分Ltsa公司,一个图形化和用户友好的工具。洛托斯是唯一一个导致国际标准的过程演算,并由Cadp验证工具箱。我们建议从Fsp公司洛托斯. 因为Fsp公司合成过程很难编码洛托斯,它们被翻译成自动机网络,这是另一种被接受的输入语言Cadp. 因此,可以联合使用Ltsa公司Cadp验证Fsp公司规范。我们的方法是完全自动化的翻译工具,我们实现。
整个系列请参见[Zbl 1120.68004].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
软件:
M-树
PDF格式 BibTeX公司 XML 引用
全文: 多伊