Equivalences, congruences, and complete axiomatizations for probabilistic processes
Top Cited Papers
- 16 June 2005
- book chapter
- Published by Springer Nature
- p. 367-383
- https://doi.org/10.1007/bfb0039071
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A probabilistic powerdomain of evaluationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Reactive, generative, and stratified models of probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Bisimulation through probabilistic testing (preliminary report)Published by Association for Computing Machinery (ACM) ,1989
- A remark on bisimulation between probabilistic processesPublished by Springer Nature ,1989
- Readies and Failures in the Algebra of Communicating ProcessesSIAM Journal on Computing, 1988
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Probabilistic automataInformation and Control, 1963