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

Active Bibliography

12 Probability and Nondeterminism in Operational Models of Concurrency – Roberto Segala - 2006
32 Comparative branching-time semantics for Markov chains – Christel Baier, Joost-pieter Katoen, Holger Hermanns, Verena Wolf - 2003
1 An algorithm to quantify behavioural similarity between probabilistic systems – Babita Sharma - 2006
2 Weak Bisimulation for Action-Type Coalgebras – Ana Sokolova, Erik de Vink, Harald Woracek
22 Decision Algorithms for Probabilistic Bisimulation – Stefano Cattani, Roberto Segala - 2002
4 Possibilistic and Probabilistic Abstraction-Based Model Checking – Michael Huth - 2002
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
11 MODEST: A compositional modeling formalism for hard and softly timed systems – Henrik Bohnenkamp, Pedro R. D’Argenio, Holger Hermanns, Joost-Pieter Katoen
2007-19 Design and Evaluation of a Wide-Area Distributed Shared Memory Middleware, Mazzucco, M., Morgan, – Mario Bravetti, Roberto Gorrieri, Mura Anteo Zamboni - 2008
1 A Companion to Coalgebraic Weak Bisimulation for Action-Type Systems ∗ – Ana Sokolova, Erik Vink, Harald Woracek
27 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
8 Simulation for Continuous-Time Markov Chains – Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn Haverkort - 2002
52 Process Algebra for Performance Evaluation – Holger Hermanns, Ulrich Herzog, Joost-pieter Katoen - 2000
1 An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems – Mario Bravetti
2 Taking Chances on || and fail: Extending Strong and Probabilistic Bisimulation – J. I. Den Hartog, E. P. De Vink - 1999
13 Observing Branching Structure through Probabilistic Contexts – Nancy Lynch, Roberto Segala, Frits Vaandrager
29 Stochastic processes as concurrent constraint programs – Vineet Gupta, Radha Jagadeesan, Prakash Panangaden - 1999
16 Weak Bisimulation for Probabilistic Timed Automata – Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina - 2003
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997