A process algebra for probabilistic and nondeterministic processes

DOI10.1016/S0020-0190(01)00213-7MaRDI QIDQ1607111zbMATH OpenFDO

Authors Diego Cazorla, Fernando Cuartero, Valentín Valero, Fernando López Pelayo

Publication date 25 July 2002

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0190(01)00213-7

zbMATH Keywords

EPLPNAL

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Bisimulation through probabilistic testing
• scientific article; zbMATH DE number 1701760 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Reactive, generative, and stratified models of probabilistic processes
• Refinement-oriented probability for CSP

Cited in

(12)

• Algebraic theory of probabilistic and nondeterministic processes.
• Algebraic theory of probabilistic processes.
• A theory of stochastic systems. II: Process algebra
• Process algebra having inherent choice: revised semantics for concurrent systems
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• scientific article; zbMATH DE number 1946766 (Why is no real title available?)
• scientific article; zbMATH DE number 1884420 (Why is no real title available?)
• A Generic Process Algebra
• CONCUR 2003 - Concurrency Theory
• Symbolic approaches to probability distributions in process algebra
• Underspecification for a simple process algebra of recursive processes.
• Generating the syntactic and semantics graphs for a Markovian process algebra

This page was built for publication: A process algebra for probabilistic and nondeterministic processes

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