Stochastic and Real Time in Process Algebra: A Conceptual Overview

DOI10.1016/J.ENTCS.2005.12.107zbMATH Open1316.68087OpenAlexW1998471990MaRDI QIDQ5262956FDOQ5262956

Authors Mario Bravetti

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.107

Mathematics Subject Classification ID

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

Recommendations

• Embedding Real Time in Stochastic Process Algebras
• Process algebra with timing: Real time and discrete time
• Extending Timed Process Algebra with Discrete Stochastic Time
• Real time process algebra
• scientific article; zbMATH DE number 1696898
• Real time process algebra with time-dependent conditions
• A real-time process algebra with open intervals and maximal progress
• A family of resource-bound real-time process algebras
• scientific article; zbMATH DE number 2079828

Cites work

• scientific article; zbMATH DE number 1670867 (Why is no real title available?)
• scientific article; zbMATH DE number 1304995 (Why is no real title available?)
• A process algebra for timed systems
• Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
• Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
• Priority in process algebra.
• Revisiting interactive Markov chains
• The theory of interactive generalized semi-Markov processes

Cited in

(7)

• Stochastic model checking of the stochastic quality calculus
• Embedding Real Time in Stochastic Process Algebras
• Extending Timed Process Algebra with Discrete Stochastic Time
• A real-time process algebra with open intervals and maximal progress
• scientific article; zbMATH DE number 1946766 (Why is no real title available?)
• Real time process algebra
• A Comparative Study of STOPA and RTPA

This page was built for publication: Stochastic and Real Time in Process Algebra: A Conceptual Overview

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