Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions

DOI10.1016/j.tcs.2016.02.022zbMath1339.68182OpenAlexW2282875934WikidataQ124343738 ScholiaQ124343738MaRDI QIDQ288785

Marco Bernardo, Luca Tesei, Flavio Corradini

Publication date: 27 May 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.02.022

zbMATH Keywords

bisimulationexpressivenessdeterministic timestochastic timetimed process calculi

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

The reversible temporal process language ⋮ revTPL: The Reversible Temporal Process Language

Cites Work

• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
• A theory of processes with durational actions
• Interactive Markov chains. And the quest for quantified quality
• A timed model for communicating sequential processes
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Bisimulation through probabilistic testing
• TIC: a tImed calculus
• The algebra of timed processes, ATP: Theory and application
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Performance measure sensitive congruences for Markovian process algebras
• Absolute versus relative time in process algebras.
• A process algebra for timed systems
• Timing and causality in process algebra
• Real time process algebra
• Branching time and abstraction in bisimulation semantics
• Behavioural abstraction in TCCS
• A uniform definition of stochastic process calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions