Typing and subtyping for mobile processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1993, Pages 376-385

  Pierce, Benjamin ^a   Sangiorgi, Davide ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); DATA HANDLING; DATA STRUCTURES; ENCODING (SYMBOLS); PARALLEL PROCESSING SYSTEMS; THEOREM PROVING;

LAMBDA CALCULUS; OPERATIONAL SEMANTICS; PI CALCULUS; PROCESS MOBILITY; SUBTYPING; TYPING;

COMPUTATIONAL LINGUISTICS;

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

References (25)