马西莫·梅罗;弗朗西斯科·扎帕·纳德利 移动环境的行为理论。 （英语） 兹比尔1326.68201 美国临床医学杂志 52，第6期，961-1023（2005）. 引用于25文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：行为理论;互模拟;并发;过程结石;程序设计语言 PDF格式BibTeX公司 XML格式引用 \textit{M.Merro}和\textit{F.Zappa Nardelli}，J.ACM 52，第6期，961--1023（2005；Zbl 1326.68201） 全文： 内政部