Predictability of real-time systems: A process-algebraic approach

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1996, Pages 82-91

  Natarajan, V ^a   Cleaveland, Rance ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES;

PROCESS ALGEBRAS; PROCESS DESCRIPTION LANGUAGE; TEMPORAL PROCESS LANGUAGE (TPL);

REAL TIME SYSTEMS;

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

References (30)