Fully-abstract model for the π-calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 43-54

  Fiore, M P ^a   Moggi, E ^a   Sangiorgi, D ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EQUIVALENCE CLASSES; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

BISIMULATION; CATEGORICAL MODELS; EQUATIONAL THEORY; METALANGUAGE;

COMPUTATION THEORY;

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

References (26)