Extending Timed Process Algebra with Discrete Stochastic Time

DOI10.1007/978-3-540-79980-1_21zbMath1170.68542OpenAlexW1599162377MaRDI QIDQ5505429

E. P. de Vink, J. Markovski

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_21

Mathematics Subject Classification ID

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

Related Items

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC, Reconciling real and stochastic time: the need for probabilistic refinement, Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Equivalence relations for modular performance evaluation in dtsPBC, Extending Timed Process Algebra with Discrete Stochastic Time

Uses Software

• MoDeST

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the consistency of Koomen's fair abstraction rule
• Process algebra with timing
• A theory of stochastic systems. I: Stochastic automata
• A theory of stochastic systems. II: Process algebra
• Embedding Real Time in Stochastic Process Algebras
• Model checking stochastic automata
• Validation of Stochastic Systems
• Theoretical Aspects of Computing – ICTAC 2005
• Extending Timed Process Algebra with Discrete Stochastic Time
• Foundations of Software Science and Computational Structures