TY  - CHAP
AU  - Cuartero, Fernando
AU  - Frutos Escrig, David de
AU  - Valero, Valentín
A4  - Ionescu, Dan
A4  - Cornell, Aurel
PY  - 2007
DO  - 10.1142/9789812708472_0003
SN  - 981-02-4424-x
UR  - https://hdl.handle.net/20.500.14352/53221
AB  - We present a model of probabilistic processes, which is an extension of CSP, on the basis of replacing internal non-determinism by generative probabilistic choices, and external non-determinism by reactive probabilistic choices. Our purpose when...
M2  - 57
PB  - World Scientific
TI  - PCSP: a denotational model of probabilistic processes
TY  - book part
ER  -