TY  - RPRT
TI  - Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators
AU  - Daniel Gebler
AU  - Simone Tini
PY  - 2014
DO  - 10.4204/eptcs.160.7
UR  - https://arxiv.org/abs/1408.1457
ID  - 1408.1457
ER  -