TY  - RPRT
TI  - Reduction Semantics in Markovian Process Algebra
AU  - Mario Bravetti
PY  - 2015
UR  - https://arxiv.org/abs/1512.07098
ID  - 1512.07098
ER  -