Operational semantics for ZCCS

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 272-282

  Galloway, A J ^a   Stoddart, W J ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES; FORMAL LOGIC;

CALCULUS OF COMMUNICATING SYSTEMS (CCS); FORMAL SEMANTICS; OPERATIONAL SEMANTICS;

COMPUTATIONAL LINGUISTICS;

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

References (20)