Types for mobile ambients

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

Volumn , Issue , 1999, Pages 79-92

  Cardelli, Luca ^a   Gordon, Andrew D ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

CALCULUS; MOBILE AGENTS; MOBILE COMPUTATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032670228     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/292540.292550     Document Type: Conference Paper

References (13)