德波尔,弗兰克·S。;维基·德弗里斯;John-Jules Ch.梅耶。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比 MAS中建模交互的过程代数和约束编程。 (英语) Zbl 1085.68100号 申请。代数工程通讯。计算。 16,编号2-3,113-150(2005).MSC公司:68问题85 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,应用。代数工程通讯。计算。16,第2--3113-150号(2005;Zbl 1085.68100) 全文: 内政部
德波尔,弗兰克·S。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比;John-Jules Ch.梅耶。 多智能体系统中信息交换的完全抽象模型。 (英语) Zbl 1038.68019号 西奥。计算。科学。 290,第3期,1753-1773(2003).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,Theor。计算。科学。290,第3号,1753-1773(2003;Zbl 1038.68019) 全文: 内政部
罗杰尔·范·艾克(Rogier M.van Eijk)。;德波尔,弗兰克·S。;范德霍克,威比;John-Jules Ch.梅耶。 代理通信中动态生成的本体翻译器。 (英语) 兹伯利0979.68013 《国际情报杂志》。系统。 16,第5期,587-607(2001).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.M.van Eijk}等人,《国际情报杂志》。系统。16,第5号,587--607(2001;Zbl 0979.68013) 全文: 内政部 链接
Wieringa,R.J。;梅耶,J.-J.Ch 规范体系规范中的参与者、行动和倡议。 (英语) Zbl 0976.03514号 安。数学。Artif公司。智力。 7,第1-4号,289-346(1993).MSC公司:03B70号 03B45 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Wieringa}和\textit{J.J.C.Meyer},Ann.数学。Artif公司。智力。7,编号1--4,289--346(1993;Zbl 0976.03514) 全文: 内政部
梅耶,J.-J.Ch。;E.-R.奥尔德罗。 隐藏统一并发的流语义。 (英语) Zbl 0672.68008号 学报信息。 27,第8号,381-397(1990). 审核人:J.J.Ch.梅耶 MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{E.R.Olderog},《学报》第27期,第8期,381--397(1990;Zbl 0672.68008) 全文: 内政部
梅耶,J.-J.C。;德文克,E.P。 递归“真正”并发的步骤语义。 (英语) 兹比尔0703.68073 分布计算。 第3期,第130-145页(1989年).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.C.Meyer}和\textit{E.P.de Vink},分布计算。3,编号3,130--145(1989;Zbl 0703.68073) 全文: 内政部
德巴克尔,J.W。;梅耶,J.-J.Ch。 并发的度量语义。 (英语) Zbl 0661.68011号 比特币 28,第3期,504-529(1988). 审核人:S.布鲁姆 MSC公司:60年第68季度 68N25号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和textit{J.J.Ch.Meyer},BIT 28,No.3,504--529(1988;Zbl 0661.68011) 全文: 内政部
德巴克,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;祖克,J.I。 统一并发语义中的转换系统、度量空间和就绪集。 (英语) Zbl 0652.68028号 J.计算。系统。科学。 36,第2期,158-224(1988). 审核人:J.-J.Ch.梅耶 MSC公司:99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.De Bakker}等人,J.Compute。系统。科学。36,第2号,158--224(1988;Zbl 0652.68028) 全文: 内政部 链接
梅耶,J.-J.Ch。;德文克,E.P。 紧性在流的Smyth幂域中的应用。 (英语) 兹比尔0652.68027 西奥。计算。科学。 57,编号2-3,251-282(1988). 审核人:W.巴托尔 MSC公司:99年第68季度 60年第68季度 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{E.P.de Vink},Theor。计算。科学。57,编号2-3251-282(1988年;Zbl 0652.68027) 全文: 内政部
德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 一致并发语义中的无限流和有限观察。 (英语) Zbl 0623.68016号 西奥。计算。科学。 49, 87-112 (1987).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}等人,Theor。计算。科学。49、87——112(1987年;Zbl 0623.68016) 全文: 内政部 链接
梅耶,J.-J.Ch。 用不动点理论合并正则过程。 (英语) Zbl 0602.68025号 西奥。计算。科学。 45, 193-260 (1986).MSC公司:68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer},Theor。计算。科学。45、193--260(1986年;Zbl 0602.68025) 全文: 内政部