Equational axioms for probabilistic bisimilarity (2002)

by Luca Aceto , Zoltán Ésik , Anna Ingólfsdóttir
Venue:IN PROCEEDINGS OF 9TH AMAST, LECTURE NOTES IN COMPUTER SCIENCE
Citations:17 - 0 self

Active Bibliography

1 Deriving syntax and axioms for quantitative regular behaviours – Marcello Bonsangue, Jan Rutten, Ra Silva - 2009
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
7 Deriving syntax and axioms for quantitative regular behaviours – Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva - 2009
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
16 Compositional reasoning for probabilistic finite-state behaviors – Yuxin Deng, Catuscia Palamidessi, Jun Pang - 2005
363 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
26 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004