A Process Calculus for Spatially-explicit Ecological Models - Margarita Antonaki; Anna Philippou (MeCBIC, 2012)

Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models. - Anna Philippou; Mauricio Toro; Margarita Antonaki (Sci. Ann. Comput. Sci., 2013)