×

找到6个文档(结果1-6)

结构保持双相似性,支持CCSP的操作Petri网语义。 (英语) Zbl 1444.68125号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 99-130 (2015).
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用

关于Petri网的因果语义(扩展抽象)。 (英语) Zbl 1343.68179号

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901,43-59(2011)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段