Art

J-GLOBAL ID：200902120968125432   Reference number：00A0797564

Anytime, Anywhere. Modal Logics for Mobile Ambients.

Author (2)： CARDELLI L (Microsoft Res.) ,  GORDON A D (Microsoft Res.)
Material： Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the ACM Symposium on Principles of Programming Languages (Association for Computing Machinery))
Volume： 27th  Page： 365-377  Publication year： 2000 
JST Material Number： D0069B  Document type： Proceedings
Country of issue： United States (USA)  Language： ENGLISH (EN)