Stochastic and Real Time in Process Algebra: A Conceptual Overview

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

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)

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 (5)

• 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
• Real time process algebra

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)