On the relationship between process algebra and input/output automata

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1991, Pages 387-398

  Vaandrager, Frits W ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES - ALGEBRA;

FAIRNESS; INPUT-OUTPUT AUTOMATA; OPERATIONAL SEMANTICS; PROCESS ALGEBRA; STRUCTURED OPERATIONAL SEMANTICS;

AUTOMATA THEORY;

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

References (27)