Tschaikowski, M. .; Tribastone, M. . A Partial-Differential Approximation for Spatial Stochastic Process Algebra. EAI Endorsed Trans IoT 2015, 1, e3.