Anytime, anywhere: Modal logics for mobile ambients

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2000, Pages 365-377

  Cardelli, Luca ^a   Gordon, Andrew D ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; LOGIC PROGRAMMING;

AMBIENT CALCULUS; MOBILE AMBIENTS; MODAL LOGICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0033726683     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)