Tschaikowski, M. ., & Tribastone, M. . (2015). A Partial-differential Approximation for Spatial Stochastic Process Algebra. EAI Endorsed Transactions on Internet of Things, 1(4), e3. https://doi.org/10.4108/icst.valuetools.2014.258170