Browsing by Subject "Ecological systems"
Now showing items 1-4 of 4
-
Conference Object
Mean-field semantics for a process calculus for spatially-explicit ecological models
(Open Publishing Association, 2016)We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a ...
-
Article
Process ordering in a process calculus for spatially-explicit ecological models
(2014)In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...
-
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, ...
-
Article
Synchronous parallel composition in a process calculus for ecological modelsAAA
(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, ...