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