Typed language for distributed mobile processes

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

Volumn , Issue , 1998, Pages 378-390

  Riely, James ^a   Hennessy, Matthew ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; RESPONSE TIME (COMPUTER SYSTEMS); SECURITY OF DATA; SUBROUTINES; THEOREM PROVING;

DISTRIBUTED MOBILE PROCESSES; FOUNDATIONAL LANGUAGES;

COMPUTER SYSTEMS PROGRAMMING;

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

References (24)