Time and probability in process algebra

DOI10.1007/3-540-45499-3_24MaRDI QIDQ2767184zbMATH OpenFDO

Authors S. Andova

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_24

Mathematics Subject Classification ID

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

Recommendations

• Processes with probabilities, priority and time
• Discrete time process algebra
• scientific article; zbMATH DE number 1876862
• A process algebra for timed systems
• Process algebra with timing: Real time and discrete time

Cited in

(27)

• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• LOTOS extended with probabilistic behaviours
• Processes with probabilities, priority and time
• SOS specifications for uniformly continuous operators
• Discrete time generative-reactive probabilistic processes with different advancing speeds
• Discrete time process algebra
• Reconciling real and stochastic time: the need for probabilistic refinement
• Probabilistic divide \& congruence: branching bisimilarity
• Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
• A probabilistic logic for pTiMo
• Expressing priorities and external probabilities in process algebra via mixed open/closed systems
• scientific article; zbMATH DE number 2129913 (Why is no real title available?)
• scientific article; zbMATH DE number 3846853 (Why is no real title available?)
• Timed, Distributed, Probabilistic, Typed Processes
• SPAMR: Extending PAMR with Stochastic Time
• Embedding Real Time in Stochastic Process Algebras
• scientific article; zbMATH DE number 140226 (Why is no real title available?)
• Repairing time-determinism in the process algebra for hybrid systems
• Expressing processes with different action durations through probabilities
• SPADES - a process algebra for discrete event simulation
• Discrete time process algebra with abstraction
• Probabilistic process algebra and strategic interleaving
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• A process algebra for predictible control systems
• Extending Timed Process Algebra with Discrete Stochastic Time
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• Real time process algebra with time-dependent conditions

This page was built for publication: Time and probability in process algebra

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