scientific article; zbMATH DE number 1863173

zbMath1006.68083MaRDI QIDQ4791844

Ranjit Jhala, Luca de Alfaro, Thomas A. Henzinger

Publication date: 3 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540351.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (23)

Model Checking Probabilistic Systems ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers ⋮ Switched PIOA: parallel composition via distributed scheduling ⋮ A perspective on service orchestration ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Compositional probabilistic verification through multi-objective model checking ⋮ Reconciling real and stochastic time: the need for probabilistic refinement ⋮ Probabilistic may/must testing: retaining probabilities by restricted schedulers ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Implementing biological hybrid systems: allowing composition and avoiding stiffness ⋮ Probabilistic contracts for component-based design ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms ⋮ Game-Based Probabilistic Predicate Abstraction in PRISM ⋮ Information hiding in probabilistic concurrent systems ⋮ Constraint Markov chains ⋮ Making random choices invisible to the scheduler ⋮ Probabilistic event structures and domains ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes ⋮ Compositional Abstraction for Stochastic Systems ⋮ An Exercise on Transition Systems ⋮ Stepwise refinement of sequence diagrams with soft real-time constraints

This page was built for publication: