Specification and refinement of probabilistic processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1991, Pages 266-277

  Jonsson, Bengt ^a   Larsen, Kim Guldstrand ^a  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - FINITE AUTOMATA; COMPUTER METATHEORY; PROBABILITY; RELIABILITY;

CONCURRENT SYSTEMS; DISTRIBUTED SYSTEMS; PROBABILISTIC BISIMULATION EQUIVALENCE; PROBABILISTIC SPECIFICATIONS; TRANSITION SYSTEMS; TREE ACCEPTORS;

COMPUTER SYSTEMS, DIGITAL;

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

References (30)