A calculus for communicating systems with time and probabilities

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1991, Pages 278-287

  Hansson, Hans ^a   Jonsson, Bengt ^a  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--ALGORITHMIC LANGUAGES; COMPUTER SYSTEMS, DIGITAL--DISTRIBUTED; MATHEMATICAL TECHNIQUES--ALGEBRA;

CALCULUS OF COMMUNICATING SYSTEMS(CCS); PROCESS ALGEBRA;

COMPUTER SYSTEMS, DIGITAL;

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

References (20)