Behavioral equivalence in the polymorphic Pi-calculus

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

Volumn , Issue , 1997, Pages 242-255

  Pierce, Benjamin C ^a   Sangiorgi, Davide ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; DATA COMMUNICATION SYSTEMS; EQUIVALENCE CLASSES;

BEHAVIORAL EQUIVALENCE; PARAMETRIC POLYMORPHISM; POLYMORPHIC PI CALCULUS;

COMPUTATIONAL LINGUISTICS;

EID: 0030677610     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263729     Document Type: Conference Paper

References (24)