Bisimulation through probabilistic testing

Volumn , Issue , 1989, Pages 344-352

  Larsen, Kim G ^a   Skou, Arne ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS; PROBABILITY;

BISIMULATION; CONCURRENT PROCESSES; PROBABILISTIC BISIMULATION; PROBABILISTIC TESTING; PROBABILISTIC TRANSITION SYSTEMS; TESTING ALGORITHM;

COMPUTER PROGRAMMING LANGUAGES;

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

References (21)