A remark on bisimulation between probabilistic processes

This publication has 10 references indexed in Scilit:

• Linear and branching structures in the semantics and logics of reactive systems
  Published by Springer Nature ,2005
• Experimenting with Process Equivalence
  Published by Springer Nature ,1990
• Bisimulation through probabilistic testing (preliminary report)
  Published by Association for Computing Machinery (ACM) ,1989
• Bisimulation can't be traced
  Published by Association for Computing Machinery (ACM) ,1988
• Lectures on a calculus for communicating systems
  Lecture Notes in Computer Science, 1985
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A modal characterisation of observable machine-behaviour
  Lecture Notes in Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• On observing nondeterminism and concurrency
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978