×

使用参数化布尔方程系统对无限系统进行等价性检查。 (英语) Zbl 1151.68521号

Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703120-135(2007)。
摘要:在本文中,我们提供了从线性过程格式的无限、并发、数据密集型系统的分支互模拟问题到求解参数化布尔方程系统的转换。我们证明了该方法的正确性,并用一个无界队列示例说明了该方法。我们还提供了一些修改,以获得弱互模拟和模拟等价的类似变换。
关于整个系列,请参见[Zbl 1144.68005号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

LOTOS公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部