Cálculo de procesos con ubicaciones para sistemas poblacionales
Cálculo de procesos con ubicaciones para sistemas poblacionales (en Inglés, Process algebra with locations for population systems) es una extensión del Cálculo de sistemas comunicantes de Robin Milner con escogencia probabilística, y con ubicaciones y atributos para las ubicaciones.[1] El cálculo de procesos con ubicaciones para sistemas poblaciones fue desarrollado por Anna Philippou y Mauricio toro Bermúdez. El cálculo de procesos con ubicaciones para sistemas poblacionales es el primer cálculo de procesos que fue desarrollado específicamente para razonar sobre modelos de ecosistemas.[2] La novedad de este cálculo es la forma en que trata el estado, en particular, que es capaz de expresar comportamiento que dependen del estado de una ubicación en el ecosistema.[3]
Este cálculo ha sido usado para desarrollar un modelo y analizar la dinámica poblacional del dengue en Colombia[4] y para el estudio del Falco eleonorae en el Mar Mediterráneo.[5]
Referencias editar
- ↑ «Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models». Consultado el 8 de marzo de 2017.
- ↑ «Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models». Consultado el 8 de marzo de 2017.
- ↑ «Anna Philippou's slides for ICTAC 2014». Archivado desde el original el 3 de abril de 2017. Consultado el 8 de marzo de 2017.
- ↑ «Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models». Consultado el 8 de marzo de 2017.
- ↑ «Synchronous Parallel Composition in a Process Calculus for Ecological Models». Consultado el 8 de marzo de 2017.
Enlaces externos editar
- Simulación y Verificación de un Cálculo de Procesos para Modelos Ecológicos Espacialmente Explícitos.
- Ordenamiento de Procesos en un Cálculo de Procesos para Modelos Ecológicos Espacialmente Explícitos.
Datos: Q30903069
