@misc{indiciae70a599089b88, title = {Stochastic and Spatial Equivalences for PALOMA}, author = {Paul Piho and Jane Hillston}, year = {2016}, doi = {10.4204/eptcs.217.9}, url = {https://arxiv.org/abs/1607.02234}, note = {Source identifier: 1607.02234} }