陈、陶璐;贝斯·普洛格;范德波尔(Jaco van de Pol);Tim A.C.Willemse。 使用参数化布尔方程系统对无限系统进行等价性检查。 (英语) 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号]. 引用于10文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 软件:LOTOS公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。4703120-135(2007年;兹bl 1151.68521) 全文: 内政部 链接