×

盒代数的区间时序逻辑语义。 (英语) Zbl 1407.68334号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8370, 441-452 (2014).
摘要:通过关注两种特定的形式,即箱代数和区间时态逻辑,我们将最近引入的Petri网转换扩展为行为等效逻辑公式。我们取消了对并发系统控制流建模方式的限制,并允许使用完全通用的同步操作符。重要的是,我们通过在基于转换的Petri网执行级别上证明这种等价性,而不仅仅是通过考虑它们的标签,来加强Petri网与相应逻辑公式之间的等价性。
关于整个系列,请参见[Zbl 1283.68032号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
03B44号 时间逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接