scientific article
From MaRDI portal
Publication:2842863
zbMath1270.68166MaRDI QIDQ2842863
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610480519X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model-checking in dense real-time
- Bisimulation through probabilistic testing
- Adding action refinement to a finite process algebra
- A logic for reasoning about time and reliability
- Processes with probabilities, priority and time
- The theory of interactive generalized semi-Markov processes
- A Compositional Approach to Performance Modelling
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
This page was built for publication: