卢卡·卡德利;安德鲁·戈登。 随时随地：移动环境的模态逻辑。 （英文） 兹比尔1323.68405 2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。365-377 (2000). 引用于63文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B45号 模态逻辑（包括规范逻辑） PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon}，摘自：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。365-377（2000年；Zbl 1323.68405） 全文： 内政部