柯斯汀·彼得斯;乌韦·内斯特曼 移动环境的可分配性。 (英语) Zbl 1496.68243号 Inf.计算。 275,文章ID 104608,22 p.(2020).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}和\textit{U.Nestmann},Inf.Compute。275,文章ID 104608,22 p.(2020;Zbl 1496.68243) 全文: 内政部 arXiv公司
柯斯汀·彼得斯;乌韦·内斯特曼 关于流动环境的可分配性。 (英语) Zbl 1483.68235号 Pérez,Jorge A.(编辑)等,第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集,EXPRESS/SOS 2018,中国北京,2018年9月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)276104-121(2018)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}和\textit{U.Nestmann},电子。程序。西奥。计算。科学。(EPTCS)276104--121(2018;Zbl 1483.68235) 全文: 链接
塞巴斯蒂安·布赖斯;乌韦·内斯特曼 开放互模拟,再次访问。 (英语) Zbl 1143.68050号 西奥。计算。科学。 386,第3期,236-271(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Briais}和\textit{U.Nestmann},Theor。计算。科学。386,第3号,236--271(2007;Zbl 1143.68050) 全文: 内政部 链接
塞巴斯蒂安·布赖斯;乌韦·内斯特曼 协议叙述的形式语义。 (英语) Zbl 1131.68045号 西奥。计算。科学。 389,第3期,484-511(2007).MSC公司:68第25页 68问题55 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Briais}和\textit{U.Nestmann},Theor。计算。科学。389,第3号,484--511(2007;Zbl 1131.68045) 全文: 内政部
马西莫·梅罗;约什瓦·克莱斯特;乌韦·内斯特曼 移动对象作为移动进程。 (英语) Zbl 1093.68562号 Inf.计算。 177,第2期,195-241(2002); 勘误表同上,第179号,第2、384(2002)。MSC公司:第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Merro}等人,《信息计算》。177,第2号,195--241(2002;Zbl 1093.68562) 全文: 内政部 链接
乌韦·内斯特曼;汉斯·休特尔;约什瓦·克莱斯特;马西莫·梅罗 移动对象的别名模型。 (英语) Zbl 1012.68114号 Inf.计算。 175,第1期,第3-33页(2002年).MSC公司:68问题85 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{U.Nestmann}等人,《信息计算》。175,第1号,第3--33号(2002年;Zbl 1012.68114) 全文: 内政部