Fully abstract domain model for the π-calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 36-42

  Stark, Ian ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

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

ABRAMSKY'S DOMAIN EQUATION; CATEGORICAL MODELS; FULLY ABSTRACT DOMAIN MODEL; FUNCTOR CATEGORY; SYNTAX FREE INTERPRETATION;

COMPUTATION THEORY;

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

References (22)