Tschaikowski, Max, and Mirco Tribastone. 2015. “A Partial-Differential Approximation for Spatial Stochastic Process Algebra”. EAI Endorsed Transactions on Internet of Things 1 (4):e3. https://doi.org/10.4108/icst.valuetools.2014.258170.