Mauricio Toro

Available identifiers

Publication	Date of Publication	Type
Mean-field semantics for a process calculus for spatially-explicit ecological models	2021-12-02	Paper
A general overview of formal languages for individual-based modelling of ecosystems	2019-06-20	Paper
Simulation and verification in a process calculus for spatially-explicit ecological models	2019-02-08	Paper
The use of sofware as a methodological proposal for the teaching of differential equations	2018-02-28	Paper
Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios	2015-11-24	Paper
Synchronous parallel composition in a process calculus for ecological models	2015-01-13	Paper

This page was built for person: Mauricio Toro