Browsing Τμήμα Βιολογικών Επιστημών / Department of Biological Sciences by Subject "Synchronous parallel compositions"
Now showing items 1-1 of 1
-
Article
Synchronous parallel composition in a process calculus for ecological models
(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, ...