Models for name-passing processes: interleaving and causal

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 322-333

  Cattani, Gian Luca ^a   Sewell, Peter ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; DATA STRUCTURES; THEOREM PROVING;

CAUSAL SEMANTICS; INTERLEAVING SEMANTICS; LABELLED TRANSITION SYSTEMS; NAME PASSING PROCESSES;

COMPUTATIONAL LINGUISTICS;

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

References (48)