Embedding Real Time in Stochastic Process Algebras

DOI10.1007/11777830_4MaRDI QIDQ3613667zbMATH OpenOpenAlexFDO

Authors J. Markovski, Erik 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 conditionreal-time and stochastic process algebrastochastic delayweak choice

Mathematics Subject Classification ID

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

Recommendations

• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• A theory of stochastic systems. II: Process algebra
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1696898
• Process algebra for performance evaluation

Cited in

(5)

• Extrapolation of real-time processes by their structural properties
• Reconciling real and stochastic time: the need for probabilistic refinement
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Formal Methods for the Design of Real-Time Systems
• Extending Timed Process Algebra with Discrete Stochastic Time

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613667)