纳迪亚·布西;吉安路易吉·扎瓦塔罗 确定移动环境的图灵完备片段中的可达性问题。 (英语) Zbl 1191.68433号 数学。结构。计算。科学。 19,第6期,1223-1263(2009).MSC公司:68问题85 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavataro},数学。结构。计算。科学。19,第6号,1223--1263(2009;Zbl 1191.68433) 全文: 内政部
纳迪亚·布西 brane calculi中的表达问题:一项调查。 (英语) Zbl 1279.68251号 Palamidessi,Catuscia(ed.)等人,《LIX并发理论新兴趋势研讨会论文集》(LIX 2006),法国巴黎,2006年11月13日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记209,107-124(2008)。MSC公司:68问题85 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi},电子。注释Theor。计算。科学。209、107-124(2008年;Zbl 1279.68251) 全文: 内政部
纳迪亚·布西;吉安路易吉·扎瓦塔罗 论运动和限制在纯粹的运动环境中的表现力。 (英语) Zbl 1071.68072号 西奥。计算。科学。 322,第3期,477-515(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavattaro},Theor。计算。科学。322,第3号,477--515(2004;Zbl 1071.68072) 全文: 内政部