Probabilistic process algebra and strategic interleaving

DOI10.7561/SACS.2020.2.205MaRDI QIDQ5089618zbMATH OpenFDO

Authors C. A. Middelburg

Publication date 19 July 2022

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.10041

zbMATH Keywords

process algebraprobabilistic choiceparallel compositionarbitrary interleavingstrategic interleaving

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)

Recommendations

• Process algebra with strategic interleaving
• Probabilistic communicating processes
• scientific article; zbMATH DE number 1696898
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Algebraic theory of probabilistic and nondeterministic processes.

Cited in

(4)

• Probabilistic thread algebra
• Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
• Process algebra with strategic interleaving

This page was built for publication: Probabilistic process algebra and strategic interleaving

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