M. . Tschaikowski and M. . Tribastone, “A Partial-differential Approximation for Spatial Stochastic Process Algebra”, EAI Endorsed Trans IoT, vol. 1, no. 4, p. e3, Feb. 2015.