Algebraic reasoning for real-time probabilistic processes with uncertain information

This publication has 9 references indexed in Scilit:

• Timed modal specification — Theory and tools
  Published by Springer Nature ,1993
• Axiomatizing probabilistic processes: ACP with generative probabilities
  Published by Springer Nature ,1992
• A calculus for communicating systems with time and probabilities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Bisimulation through probabilistic testing (preliminary report)
  Published by Association for Computing Machinery (ACM) ,1989
• Extensional equivalences for transition systems
  Acta Informatica, 1987
• A timed model for communicating sequential processes
  Lecture Notes in Computer Science, 1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980