Modal process logic.

Volumn , Issue , 1988, Pages 203-210

  Larsen, Kim G ^a   Thomsen, Bent ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES -- THEORY; MATHEMATICAL TECHNIQUES -- ALGEBRA;

CONCURRENT PROCESSES; MODAL PROCESS LOGIC; PROCESS ALGEBRA; PROCESS LANGUAGE; REFINEMENT ORDERING;

COMPUTER METATHEORY;

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

References (15)