Probabilistic Extensions of Process Algebras (2001)

Cached

Download Links

by Bengt Jonsson , Kim G. Larsen , Wang Yi
Venue:Handbook of Process Algebra
Citations:67 - 5 self

Documents Related by Co-Citation

405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
270 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
247 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
233 Modeling and verification of randomized distributed real-time systems – R Segala - 1995
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
95 A calculus for communicating systems with time and probabilities – H Hansson, B Jonsson - 1985
42 Axiomatizations for probabilistic bisimulation – E Bandini, R Segala - 2001
155 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
40 Compositional verification of probabilistic processes – K G Larsen, A Skou - 1992
597 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
148 Time and probability in formal design of distributed systems – H A Hansson - 1994
3219 Communication and Concurrency – R Milner - 1990
1202 Markov Decision Processes: Discrete Stochastic Dynamic Programming – M L Puterman - 1994
89 Coalgebraic Logic – Lawrence S. Moss - 1999
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
137 Probabilistic Non-determinism – C Jones - 1990