A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification (2006)


Download Links

by Suzana Andova , Jos C. M. Baeten , Tim A. C. Willemse
Venue:In Proceedings of the 17th International Conference on Concurrency Theory, volume 4137 of Lecture Notes in Computer Science
Citations:4 - 1 self