TY  - CHAP
AU  - Cuartero Gómez, Fernando
AU  - Frutos Escrig, David De
AU  - Valero Ruiz, Valentín
A4  - Bertran, Miquel
A4  - Rus, Teodor
PY  - 1997
DO  - 10.1007/3-540-63010-4_23
SN  - 978-3-540-63010-4
UR  - https://hdl.handle.net/20.500.14352/60660
AB  - In this paper we present a process algebra model of probabilistic communicating processes based on classical CSP. To define our model we have replaced internal non-determinism by generative probabilistic choices, and external non-determinism by...
LA  - eng
M2  - 340
PB  - Springer
TI  - A sound and complete proof system for probabilistic processes
TY  - book part
ER  -