×

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

将过渡系统结构化为松散的余代数。 (英语) Zbl 0917.68072号

Jacobs,Bart(编辑)等人,《计算机科学中的协代数方法》,CMCS’98。第一次研讨会会议记录,葡萄牙里斯本,1998年3月28日至29日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。11,电子文件第3号(1998年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

并发系统规范:从Petri网到图文法。 (英语) Zbl 0817.68110号

Hommel,Günter(编辑),基于通信系统的质量。1994年9月在德国柏林技术大学举行的国际研讨会会议记录。多德雷赫特:Kluwer学术出版社。35-52 (1995).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

软件