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
230 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
134 Bisimulation for Labelled Markov Processes – Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden - 1997
71 Interactive Markov Chains and the Quest for Quantified Quality. Volume 2428 of LNCS – H Hermanns - 2002
266 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
401 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
463 Real Analysis and Probability – R M Dudley - 2002
40 A categorical approach to probability theory – M Giry - 1982
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
595 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
10 A process-algebraic language for probabilistic I/O automata – Eugene W. Stark, Rance Cleaveland, Scott A. Smolka - 2003
165 Markov Models and Optimization – M H A Davis - 1993
111 A Process Algebra for Timed Systems – M Hennessy, T Regan - 1995
23 General stochastic hybrid systems: Modelling and optimal control – Manuela L. Bujorianu, John Lygeros - 2004
10 Measure and probability for concurrency theorists – P Panangaden
3 Axiomatisations and types for probabilistic and mobile processes – Y Deng - 2005
22 Decision Algorithms for Probabilistic Bisimulation – Stefano Cattani, Roberto Segala - 2002