×

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

痕迹、系列平行偏序集和图片:一项加权研究。 (英语) Zbl 1484.68084号

Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,405-450 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于有界通道的通信自动机。 (英语) 兹比尔1137.68447

Penczek,Wojciech(编辑)等人,半个世纪的鼓舞人心的研究。向安东尼·马祖基维奇的科学影响力致敬。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-805-2/pbk)。147-167 (2007).
PDF格式BibTeX公司 XML格式引用

一类具有有效算法的通信自动机的Kleene定理。 (英语) Zbl 1117.68403号

Calude,Cristian S.(编辑)等,《语言理论的发展》。第八届国际会议,DLT 2004,新西兰奥克兰,2004年12月13-17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24014-4/pbk)。计算机科学讲座笔记3340,30-48(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

本地跟踪语言的Pomset–可识别性、逻辑\(\&\)Petri网。 (英语) Zbl 0999.68530号

Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1877, 426-441 (2000).
PDF格式BibTeX公司 XML格式引用

并发自动机计算的依赖顺序。 (英语) Zbl 1379.68246号

Mayr,Ernst W.(编辑)等人,STACS 95。1995年3月2日至4日,德国慕尼黑,第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-59042-0)。计算机科学讲义900,467-478(1995)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有并发关系和域的非确定性自动机。 (英语) Zbl 0938.68743号

Sophie Tison(编辑),《代数和编程中的树——CAAP’94》。第19届国际学术讨论会,英国爱丁堡,1994年4月11日至13日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。787, 202-217 (1994).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份