×

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

重复通信Petri博弈的综合问题。 (英语) 兹比尔1499.68225

Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288236-257(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态控制的显式公平调度。 (英语) Zbl 1274.68035号

Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿593096-117(2010)。
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发系统转换设计的案例研究。 (英语) Zbl 1497.68350号

Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 90-104 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段