瓦尔克,R。 无限的行为和公平。 (英语) 兹比尔0658.68069 Petri网:中心模型及其属性,Proc。高级课程,Bad Honnef/FRG 1986,Lect。注释计算。科学。254, 377-396 (1987). 审核人:V.Calmatuianu公司 MSC公司:68问题85 68问题65 68N99型 PDF格式BibTeX公司 XML格式
轩尼诗,M。;普洛金,G。 有限合取不确定性。 (英语) Zbl 0649.03013号 并发和网络。Petri网进展,233-244(1987)。 审核人:S.Miura公司 MSC公司:03B70号 03B45号 68N25号 PDF格式BibTeX公司 XML格式
旋律,拉米 一类自定时计算网络的验证。 (英语) Zbl 0643.68019号 比特币 27, 480-500 (1987).MSC公司:68N25号 68N99型 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{R.Melhem},BIT 27,480--500(1987;Zbl 0643.68019) 全文: 内政部
Richard M.藤本。;冯华忠 CSP中广义替代结构的共享内存算法及证明。 (英语) Zbl 0641.68041号 国际J并行程序。 16,第3期,215-241(1987).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Fujimoto}和\textit{H.-c.Feng},国际J并行程序。16,第3号,215--241(1987;Zbl 0641.68041) 全文: 内政部
阿尔卑斯山,博文;弗雷德·施耐德。 认识到安全和活力。 (英语) Zbl 0641.68039号 分布计算。 2117-126(1987年).MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},分布式计算。2、117--126(1987年;Zbl 0641.68039) 全文: 内政部
杰拉德·鲁卡罗尔 FIFO网络。 (英语) Zbl 0636.68070号 Petri网:中心模型及其属性,Proc。高级课程,Bad Honnef/FRG 1986,Lect。注释计算。科学。254, 436-459 (1987).MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式
沃尔夫冈·雷西格 放置/过渡系统。 (英语) Zbl 0635.68056号 Petri网:中心模型及其性质,Proc。高级课程,Bad Honnef/FRG 1986,Lect。注释计算。科学。254, 117-141 (1987).MSC公司:68问题85 PDF格式BibTeX公司 XML格式
最好的,艾克;Tiagarajan,Pazhamaneri S。 活的和安全的Petri网的一些类。 (英语) Zbl 0634.68062号 并发和网络。Petri网进展,71-94(1987)。 审核人:H.Müller先生 MSC公司:68问题85 PDF格式BibTeX公司 XML格式
马蒂亚斯·詹岑 地点/过渡网的复杂性。 (英语) Zbl 0629.68065号 Petri网:中心模型及其属性,Proc。高级课程,Bad Honnef/FRG 1986,Lect。注释计算。科学。254, 413-434 (1987).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式
范·格拉贝克,R.J。 过程代数中的有界不确定性和近似归纳原理。 (英语) Zbl 0612.68025号 STACS 87,计算机科学的理论方面,Proc。第4年。交响乐团。,帕索/FRG 1987,Lect。注释计算。科学。247, 336-347 (1987).MSC公司:68N25号 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式