×

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

交互类别和类型化并发编程的基础。 (英语) Zbl 0934.18007号

Broy,Manfred(编辑),演绎程序设计。《北约高级研究所学报》,德国马克托伯多夫,1994年7月26日至8月7日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。152, 35-113 (1996).
PDF格式BibTeX公司 XML格式引用

彩色FIFO网络的行为和结构组成规则通过同步保持活性。 (英语) Zbl 1418.68132号

Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 73-92 (1996).
MSC公司:第68季度85 68个M12
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段