Stochastic and Real Time in Process Algebra: A Conceptual Overview
From MaRDI portal
Publication:5262956
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
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
- A process algebra for timed systems
- Revisiting interactive Markov chains
- The theory of interactive generalized semi-Markov processes
- Priority in process algebra.
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
Cited In (7)
- Embedding Real Time in Stochastic Process Algebras
- Title not available (Why is that?)
- Extending Timed Process Algebra with Discrete Stochastic Time
- A real-time process algebra with open intervals and maximal progress
- Stochastic Model Checking of the Stochastic Quality Calculus
- A Comparative Study of STOPA and RTPA
- Real time process algebra
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)
