Bisimulation for labelled Markov processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 149-158

  Blute, Richard ^a   Desharnais, Josee ^a   Edalat, Abbas ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; EQUIVALENCE CLASSES; PROBABILISTIC LOGICS; STATE SPACE METHODS; THEOREM PROVING;

BISIMULATION; LABELLED MARKOV PROCESSES; POLISH SPACES; PROBABILISTIC LABELLED TRANSITION SYSTEMS;

MARKOV PROCESSES;

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

References (39)