Combinatory representation of mobile processes

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

Volumn , Issue , 1994, Pages 348-360

  Honda, Kohei ^a   Yoshida, Nobuko ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; PROGRAM DIAGNOSTICS; PROGRAMMING THEORY;

ASYNCHRONOUS NAME PASSING; CONCURRENT PROCESSES; LOGICAL SUBSTITUTION; MOBILE PROCESSES;

COMPUTER PROGRAMMING;

EID: 0028121965     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/174675.177953     Document Type: Conference Paper

References (23)