Compositional testing preorders for probabilistic processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1995, Pages 431-440

  Jonsson, Bengt ^a   Yi, Wang ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FAILURE ANALYSIS; MARKOV PROCESSES; MATHEMATICAL MODELS; RANDOM PROCESSES; TESTING;

COMPOSITIONAL TESTING PREORDERS; PROBABILISTIC PROCESSES; REFUSAL-SIMULATION; SEMANTIC MODEL; STANDARD SIMULATION; TRANSITION SYSTEMS;

PROBABILISTIC LOGICS;

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

References (31)