A Hierarchy of Probabilistic System Types (2003)

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

Documents Related by Co-Citation

403 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
230 Modeling and verification of randomized distributed real-time systems – R Segala - 1995
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
265 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
152 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
135 Bisimulation for Labelled Markov Processes – Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden - 1997
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
28 Probability Logic for Type Spaces – A Heifetz, P Mongin
147 Time and probability in formal design of distributed systems – H A Hansson - 1994
170 Probabilistic Automata – M O Rabin - 1963
66 Axiomatizing probabilistic processes: ACP with generative probabilities – J C M Baeten, J A Bergstra, S A Smolka - 1995
40 Axiomatizations for probabilistic bisimulation – E Bandini, R Segala - 2001
89 Coalgebraic Logic – Lawrence S. Moss - 1999
96 Specification and refinement of probabilistic processes – Bengt Jonsson, Kim Larsen - 1991
21 Finality Regained - A Coalgebraic Study of Scott-sets and Multisets – Giovanna D'Agostino, Albert Visser - 1999
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
148 Modal Logic – B Chellas - 1980