Minimal probabilistic P systems for modelling ecological systems
From MaRDI portal
Publication:896706
DOI10.1016/j.tcs.2015.07.035zbMath1333.92068OpenAlexW934537857MaRDI QIDQ896706
Roberto Barbuti, Pasquale Bove, Giovanni Pardini, Paolo Milazzo
Publication date: 10 December 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.07.035
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Predictors for flat membrane systems ⋮ On divergence-sensitive weak probabilistic bisimilarity ⋮ Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems ⋮ Modeling diel vertical migration with membrane computing
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spatial P systems
- A computational modeling for real ecosystems based on P systems
- Spatial calculus of looping sequences
- Using well-structured transition systems to decide divergence for catalytic P systems
- A rewriting logic framework for operational semantics of membrane systems
- Compositional semantics and behavioral equivalences for P systems
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Probabilistic transitions for P systems
- Compositional semantics of spiking neural P systems
- A logic for reasoning about time and reliability
- Membrane systems with promoters/inhibitors
- Computing with membranes
- Membrane computing. An introduction.
- Simulation of spatial P system models
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
- DYNAMICAL PROBABILISTIC P SYSTEMS
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Modelling Biological Populations in Space and Time
- Computer Aided Verification
- PROBABILISTIC REWRITING P SYSTEMS
- Membrane Computing
This page was built for publication: Minimal probabilistic P systems for modelling ecological systems
