×

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

并发NetKAT。建模和分析有状态的并发网络。 (英语) Zbl 1528.68259号

谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13240, 575-602 (2022).
PDF格式BibTeX公司 XML格式引用

学习pomset自动机。 (英语) Zbl 1516.68049号

Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 510-530 (2021).
PDF格式BibTeX公司 XML格式引用

带观察的克莱恩代数。 (英语) 兹比尔07649949

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第41条,第16页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

Brzozowski是并发的——pomset语言的Kleene定理。 (英语) Zbl 1442.68145号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条,第25条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段