dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Toro, Mauricio | en |
dc.contributor.author | Antonaki, Margarita | en |
dc.creator | Philippou, Anna | en |
dc.creator | Toro, Mauricio | en |
dc.creator | Antonaki, Margarita | en |
dc.date.accessioned | 2019-11-13T10:42:00Z | |
dc.date.available | 2019-11-13T10:42:00Z | |
dc.date.issued | 2013 | |
dc.identifier.issn | 1843-8121 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54845 | |
dc.description.abstract | We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit individual-based ecological models and to reason about their behavior. PALPS has two abstraction levels: At the first level, we may define the behavior of an individual of a population and, at the second level, we may specify a system as the collection of individuals of various species located in space. In PALPS, the individuals move through their life cycle while changing their location and interact with each other in various ways such as predation, infection or mating. Furthermore, we propose a translation of a subset of PALPS into the probabilistic model checker PRISM. We illustrate our framework via models of dispersal in metapopulations and by applying PRISM on PALPS models for verifying temporal logic properties and conducting reachability and steady-state analysis. © Scientific Annals of Computer Science 2013. | en |
dc.source | Scientific Annals of Computer Science | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84884738440&doi=10.7561%2fSACS.2013.1.119&partnerID=40&md5=36d069fb48992d60e818ed8cbc5cd380 | |
dc.subject | Ecology | en |
dc.subject | Process calculi | en |
dc.subject | Probabilistic model checking | en |
dc.subject | Spatially-explicit individual-based models | en |
dc.title | Simulation and verification in a process calculus for spatially-explicit ecological models | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.7561/SACS.2013.1.119 | |
dc.description.volume | 23 | |
dc.description.issue | 1 | |
dc.description.startingpage | 119 | |
dc.description.endingpage | 167 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :11</p> | en |
dc.source.abbreviation | Sci.Ann.Comp.Sci. | en |