CCS with priority choice

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1991, Pages 246-255

  Camilleri, Juanito ^a   Winskel, Glynn ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

CCS; EQUATIONAL LAWS; OPERATIONAL SEMANTICS; PRISUM PRIORITY CHOICE OPERATOR; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

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

References (15)