A Hierarchy of Probabilistic System Types (2003)

by Falk Bartels , Ana Sokolova , Erik de Vink
Citations:37 - 6 self

Documents Related by Co-Citation

405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
233 Modeling and verification of randomized distributed real-time systems – R Segala - 1995
270 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
155 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
148 Time and probability in formal design of distributed systems – H A Hansson - 1994
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
89 Coalgebraic Logic – Lawrence S. Moss - 1999
28 Probability Logic for Type Spaces – A Heifetz, P Mongin
172 Probabilistic automata – M O Rabin - 1963
42 Axiomatizations for probabilistic bisimulation – E Bandini, R Segala - 2001
68 S.: Axiomatizing probabilistic processes: ACP with generative probabilities – J Bergstra, J Baeten, Smolka - 1995
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
40 Weak bisimulation for probabilistic systems – Anna Philippou, Insup Lee, Oleg Sokolsky - 2000
96 Specification and refinement of probabilistic processes – K G Larsen B Jonsson - 1991
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005