Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Kassara, Christina"
Now showing items 1-1 of 1
-
Article
Synchronous parallel composition in a process calculus for ecological modelsAAA
Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (2014)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, ...