Browsing by Subject "Individual based model"

Now showing items 1-3 of 3

    • Conference Object  

      Mean-field semantics for a process calculus for spatially-explicit ecological models 

      Toro, Mauricio; Philippou, Anna; Arboleda, S.; Puerta, M.; Vélez S, C. M. (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  

      Synchronous parallel composition in a process calculus for ecological models 

      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, ...
    • 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, ...