An integrated approach for the specification and analysis of stochastic real-time systems
zbMATH Open1270.68166MaRDI QIDQ2842863FDOQ2842863
Authors: Mario Bravetti 
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610480519X
Recommendations
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Model-checking in dense real-time
- Bisimulation through probabilistic testing
- A logic for reasoning about time and reliability
- A Compositional Approach to Performance Modelling
- Title not available (Why is that?)
- Processes with probabilities, priority and time
- Title not available (Why is that?)
- The theory of interactive generalized semi-Markov processes
- Adding action refinement to a finite process algebra
- Title not available (Why is that?)
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
Cited In (10)
- Stochastic model checking of the stochastic quality calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- The theory of interactive generalized semi-Markov processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Methods for the Design of Real-Time Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: An integrated approach for the specification and analysis of stochastic real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842863)
