Comparing the expressive power of the synchronous and the asynchronous π-calculus

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

Volumn , Issue , 1997, Pages 256-265

  Palamidessi, Catuscia ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; DATA COMMUNICATION SYSTEMS; EQUIVALENCE CLASSES; INFORMATION THEORY;

ASYNCHRONOUS PI CALCULUS; SYNCHRONOUS PI CALCULUS;

COMPUTATION THEORY;

EID: 0030679949     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263731     Document Type: Conference Paper

References (14)