Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models-Reference-Cited by-同舟云学术

Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models

Published:2014 Issue: Volume: Page:345-361
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Philippou Anna,Toro Mauricio

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-05032-4_25

Reference29 articles.

1. Online PRISM documentation. http://www.prismmodelchecker.org/doc/

2. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: Spatial calculus of looping sequences. Theoret. Comput. Sci. 412(43), 5976–6001 (2011)

3. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A calculus of looping sequences for modelling microbiological systems. Fund. Inf. 72(1–3), 21–35 (2006)

4. Berec, L.: Techniques of spatially-explicit individual-based models: construction, simulation, and mean-field analysis. Ecol. Model. 150, 55–81 (2002)

5. Besozzi, D., Cazzaniga, P., Pescini, D., Mauri, G.: Modelling metapopulations with stochastic membrane systems. BioSystems 91(3), 499–514 (2008)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A general overview of formal languages for individual-based modelling of ecosystems;Journal of Logical and Algebraic Methods in Programming;2019-04

2. Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models;Electronic Proceedings in Theoretical Computer Science;2016-03-02

3. Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates;Software Engineering and Formal Methods;2015

4. Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models;Software Engineering and Formal Methods;2014

5. Synchronous Parallel Composition in a Process Calculus for Ecological Models;Theoretical Aspects of Computing – ICTAC 2014;2014