加布里埃尔·乔巴努;马西耶·库特尼 进程代数和Petri网中的时间移动性。 (英语) Zbl 1230.68154号 J.日志。代数。程序。 80,第7期,377-391(2011). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{M.Koutny},J.日志。代数。程序。80,第7号,377--391(2011;Zbl 1230.68154) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;马西耶·库特尼 箱代数=Petri网+过程表达式。 (英语) Zbl 1012.68117号 Inf.计算。 178,第1期,44-100(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,《信息计算》。178,编号1,44--100(2002;Zbl 1012.68117) 全文: 内政部
马西耶·库特尼;最好的,艾克 盒代数的操作语义和指称语义。 (英语) Zbl 0912.68126号 西奥。计算。科学。 211,编号1-2,1-83(1999).MSC公司:68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny}和\textit{E.Best},Theor。计算。科学。211,编号1--2,1--83(1999;Zbl 0912.68126) 全文: 内政部
马丁·赫斯基;马西耶·库特尼 Petri盒演算中重复等价的公理化。 (英语) Zbl 1510.68060号 Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。第19届国际会议,ICATPN’98,葡萄牙里斯本,1998年6月22日至26日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 165-184 (1998).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hesketh}和\textit{M.Koutny},莱克特。注释计算。科学。1420,165--184(1998年;兹比尔1510.68060) 全文: 内政部
马西耶·库特尼;曼奇尼,路易吉五世。;朱塞佩·帕帕拉尔多 两种实现关系和通信复制进程的正确性。 (英语) Zbl 0874.68123号 正式Asp。计算。 9,第2期,119-148(1997).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny}等人,《正式Asp》。计算。9,第2号,119--148(1997;Zbl 0874.68123) 全文: 内政部
里扎德·贾尼基;马西耶·库特尼 并发结构。 (英语) Zbl 0814.68061号 西奥。计算。科学。 112,编号1,5-52(1993). 审核人:W.齐埃隆卡(波尔多) MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny},Theor。计算。科学。112,编号1,5--52(1993;Zbl 0814.68061) 全文: 内政部
马西耶·库特尼 COSY路径程序的充分保护转换。 (英语) Zbl 0745.68075号 西奥。计算。科学。 94,第1期,141-158(1992).MSC公司:第68季度第60季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Koutny},Theor。计算。科学。94,第1号,141--158(1992;Zbl 0745.68075) 全文: 内政部
里扎德·贾尼基;Peter E.劳尔。;马西耶·库特尼;雷蒙德·魔鬼队 非序列系统的并发和最大并发进化。 (英语) Zbl 0604.68006号 西奥。计算。科学。 43, 213-238 (1986). 审核人:M.K等人 MSC公司:68号01 第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,Theor。计算。科学。43、213--238(1986年;Zbl 0604.68006) 全文: 内政部