Show simple item record

dc.contributor.authorToro, Mauricioen
dc.contributor.authorPhilippou, Annaen
dc.contributor.authorKassara, Christinaen
dc.contributor.authorSfenthourakis, Spyrosen
dc.creatorToro, Mauricioen
dc.creatorPhilippou, Annaen
dc.creatorKassara, Christinaen
dc.creatorSfenthourakis, Spyrosen
dc.description.abstractIn 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.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.subjectModel checkingen
dc.subjectEcological modelsen
dc.subjectEcological systemsen
dc.subjectIndividual based modelen
dc.subjectMediterranean seaen
dc.subjectParallel operatorsen
dc.subjectSimulation and analysisen
dc.subjectSpatially expliciten
dc.subjectSynchronous parallel compositionsen
dc.titleSynchronous parallel composition in a process calculus for ecological modelsAAAen
dc.description.endingpage441 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notes<p>Cited By :4</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record