Equational Axioms for Probabilistic Bisimilarity
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Axiomatizations for Probabilistic Bisimulation
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Axiomatizations for probabilistic finite-state behaviors
Theoretical Computer Science
Labelled Markov Processes as Generalised Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Notes on Generative Probabilistic Bisimulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic bisimulation as a congruence
ACM Transactions on Computational Logic (TOCL)
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
Deriving Syntax and Axioms for Quantitative Regular Behaviours
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Quantitative Kleene coalgebras
Information and Computation
Axiomatizations for probabilistic finite-state behaviors
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Compositional reasoning for probabilistic finite-state behaviors
Processes, Terms and Cycles
Hi-index | 0.00 |