Tschaikowski, M. ., and M. . 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, doi:10.4108/icst.valuetools.2014.258170.