Reactive, generative, and stratified models of probabilistic processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1990, Pages 130-141

  van Glabbeek, Rob ^a   Smolka, Scott A ^a   Steffen, Bernhard ^a   Tofts, Chris M N ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

PROBABILITY;

BISIMULATION SEMANTICS; OPERATIONAL SEMANTICS; PROBABILISTIC PROCESSES; SEMANTICS; SPECIFICATION LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

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

References (13)