Expressing processes with different action durations through probabilities

DOI10.1007/3-540-44804-7_11MaRDI QIDQ4798041zbMATH OpenFDO

Authors Mario Bravetti, Alessandro Aldini

Publication date 18 March 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Discrete time generative-reactive probabilistic processes with different advancing speeds
• The theory of interactive generalized semi-Markov processes
• Time and probability in process algebra
• Symbolic approaches to probability distributions in process algebra
• Performance modelling using probabilistic process algebra

Cited in

(4)

• Algebraic theory of probabilistic processes.
• Discrete time generative-reactive probabilistic processes with different advancing speeds
• An integrated approach for the specification and analysis of stochastic real-time systems
• On the expressiveness of Markovian process calculi with durational and durationless actions

This page was built for publication: Expressing processes with different action durations through probabilities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4798041)