Embedding Real Time in Stochastic Process Algebras

DOI10.1007/11777830_4zbMath1185.68449OpenAlexW1576906336MaRDI QIDQ3613667

J. Markovski, E. P. de Vink

Publication date: 12 March 2009

Published in: Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/embedding-realtime-in-stochastic-process-algebras(d0174de8-5363-4b59-9bdb-4c9393a5afe6).html

zbMATH Keywords

race conditionstochastic delayreal-time and stochastic process algebraweak choice

Mathematics Subject Classification ID

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

Related Items (2)

Reconciling real and stochastic time: the need for probabilistic refinement ⋮ Extending Timed Process Algebra with Discrete Stochastic Time

This page was built for publication: Embedding Real Time in Stochastic Process Algebras