dc.contributor.author | Toro, Mauricio | en |
dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Kassara, Christina | en |
dc.contributor.author | Sfenthourakis, Spyros | en |
dc.creator | Toro, Mauricio | en |
dc.creator | Philippou, Anna | en |
dc.creator | Kassara, Christina | en |
dc.creator | Sfenthourakis, Spyros | en |
dc.date.accessioned | 2019-11-04T12:52:46Z | |
dc.date.available | 2019-11-04T12:52:46Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53418 | |
dc.description.abstract | In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, is defined at the level of populations as opposed to the level of individuals as was the case with PALPS, thus, allowing a considerable reduction in a system’s state space. Furthermore, we provide a translation of the calculus into the model checker PRISM for simulation and analysis. We apply our framework to model and study the population dynamics of the Eleonora’s falcon in the Mediterranean sea. © Springer International Publishing Switzerland 2014. | en |
dc.source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84921801916&partnerID=40&md5=851ff0cbac4f8d450b09ec0bade8ae53 | |
dc.subject | Ecology | en |
dc.subject | Calculations | en |
dc.subject | Semantics | en |
dc.subject | Model checking | en |
dc.subject | Ecological models | en |
dc.subject | Ecological systems | en |
dc.subject | Individual based model | en |
dc.subject | Mediterranean sea | en |
dc.subject | Parallel operators | en |
dc.subject | Simulation and analysis | en |
dc.subject | Spatially explicit | en |
dc.subject | Synchronous parallel compositions | en |
dc.title | Synchronous parallel composition in a process calculus for ecological models | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 8687 | |
dc.description.startingpage | 424 | |
dc.description.endingpage | 441 | |
dc.author.faculty | Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Βιολογικών Επιστημών / Department of Biological Sciences | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :4</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Sfenthourakis, Spyros [0000-0003-3213-2502] | |
dc.gnosis.orcid | 0000-0003-3213-2502 | |