A process algebra for probabilistic and nondeterministic processes

DOI10.1016/S0020-0190(01)00213-7zbMath1003.68087MaRDI QIDQ1607111

Diego Cazorla, Valentin Valero, Fernando Cuartero, Fernando López Pelayo

Publication date: 25 July 2002

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

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)

Related Items (3)

Generating the syntactic and semantics graphs for a Markovian process algebra ⋮ Algebraic theory of probabilistic and nondeterministic processes. ⋮ Algebraic theory of probabilistic processes.

Cites Work

• Bisimulation through probabilistic testing
• Reactive, generative, and stratified models of probabilistic processes
• Refinement-oriented probability for CSP
• Unnamed Item
• Unnamed Item
• Unnamed Item

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