An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (2003)

by Franck Van Breugel , Michael Mislove , Joël Ouaknine , James Worrell
Venue:In: Proceedings of FOSSACS 03. LNCS
Citations:15 - 2 self

Documents Related by Co-Citation

46 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
3242 Communication and Concurrency – R Milner - 1989
758 Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones – Jos F. Sturm - 1998
407 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
136 Bisimulation for Labelled Markov Processes – Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden - 1997
2014 A theory of timed automata – Rajeev Alur - 1999
662 Concurrency and automata on infinite sequences – D Park - 1981