Stochastic transition systems for continuous state spaces and non-determinism (2005)

Cached

Download Links

by Stefano Cattani , Roberto Segala , Marta Kwiatkowska , Gethin Norman
Venue:In FoSSaCS’05, LNCS 3441
Citations:12 - 3 self

Documents Related by Co-Citation

14 Bisimulation and cocongruence for probabilistic systems – V Danos, J Desharnais, F Laviolette, P Panangaden - 2005
233 Modeling and verification of randomized distributed real-time systems – R Segala - 1995
11 Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions – M Bravetti, P R D’Argenio - 2004
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
72 Interactive Markov Chains and the Quest for Quantified Quality. Volume 2428 of LNCS – H Hermanns - 2002
270 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
41 A categorical approach to probability theory – M Giry - 1981
468 2002) Real Analysis and Probability – Richard Dudley
7 Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models – R Segala, A Turrini - 2005
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
597 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
23 General stochastic hybrid systems: Modelling and optimal control – Manuela L. Bujorianu, John Lygeros - 2004
10 A process-algebraic language for probabilistic I/O automata – Eugene W. Stark, Rance Cleaveland, Scott A. Smolka - 2003
111 A process algebra of timed systems – M Hennessy, T Regan - 1995
167 Markov Models and Optimization – M H A Davis - 1993
10 Measure and probability for concurrency theorists – P Panangaden
3 Axiomatisations and types for probabilistic and mobile processes – Y Deng - 2005
148 Time and probability in formal design of distributed systems – H A Hansson - 1994