TY  - RPRT
TI  - Stochastic and Spatial Equivalences for PALOMA
AU  - Paul Piho
AU  - Jane Hillston
PY  - 2016
DO  - 10.4204/eptcs.217.9
UR  - https://arxiv.org/abs/1607.02234
ID  - 1607.02234
ER  -