scientific article

zbMath1270.68166MaRDI QIDQ2842863

Mario Bravetti

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.

Mathematics Subject Classification ID

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)

Stochastic Model Checking of the Stochastic Quality Calculus

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: