Stochastic and Real Time in Process Algebra: A Conceptual Overview

DOI10.1016/j.entcs.2005.12.107zbMath1316.68087OpenAlexW1998471990MaRDI QIDQ5262956

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)

Related Items (1)

Stochastic Model Checking of the Stochastic Quality Calculus

Cites Work

• The theory of interactive generalized semi-Markov processes
• A process algebra for timed systems
• Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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