Simulation and Verification in a Process Calculus for Spatially-Explicit

2021-04-122014-06-011843812122482695http://hdl.handle.net/10784/28689enghttps://v2.sherpa.ac.uk/id/publication/issn/1843-8121Simulation and Verification in a Process Calculus for Spatially-Explicitinfo:eu-repo/semantics/article2021-04-12TORO, MAURICIO