Tschaikowski, M. .; Tribastone, M. . A Partial-Differential Approximation for Spatial Stochastic Process Algebra. EAI Endorsed Trans IoT 2015, 1 (4), e3. https://doi.org/10.4108/icst.valuetools.2014.258170.