Reconciling real and stochastic time: the need for probabilistic refinement

DOI10.1007/S00165-012-0230-YzbMATH Open1259.68147OpenAlexW2149178443MaRDI QIDQ1941867FDOQ1941867

Authors: J. Markovski, Erik de Vink, P. R. D'Argenio, Jos C. M. Baeten 

Publication date: 22 March 2013

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-012-0230-y

Recommendations

• Extending Timed Process Algebra with Discrete Stochastic Time
• scientific article; zbMATH DE number 1696898
• A theory of stochastic systems. II: Process algebra
• Formal Methods for the Design of Real-Time Systems
• Embedding Real Time in Stochastic Process Algebras

zbMATH Keywords

race conditionconservative extensionsgenerally-distributed stochastic delaystimed and stochastic process algebras

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interactive Markov chains. And the quest for quantified quality
• A Compositional Approach to Performance Modelling
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Title not available (Why is that?)
• Refinement-oriented probability for CSP
• A testing scenario for probabilistic processes
• Retaining the probabilities in probabilistic testing theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Foundations of Software Science and Computational Structures
• On the consistency of Koomen's fair abstraction rule
• A brief history of process algebra
• Probabilistic may/must testing: retaining probabilities by restricted schedulers
• Formal Methods for the Design of Real-Time Systems
• A theory of stochastic systems. II: Process algebra
• A theory of stochastic systems. I: Stochastic automata
• Embedding Real Time in Stochastic Process Algebras
• Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra
• Extending Timed Process Algebra with Discrete Stochastic Time

Cited In (2)

• Title not available (Why is that?)
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

Uses Software

• PRISM
• MoDeST

This page was built for publication: Reconciling real and stochastic time: the need for probabilistic refinement

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