文献

J-GLOBAL ID：200902120968125432   整理番号：00A0797564

Anytime, Anywhere. Modal Logics for Mobile Ambients.

著者 (2件)： CARDELLI L (Microsoft Res.) ,  GORDON A D (Microsoft Res.)
資料名： Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the Annual ACM Symposium on Principles of Programming Languages)
巻： 27th  ページ： 365-377  発行年： 2000年 
JST資料番号： D0069B  資料種別： 会議録 (C)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)