Control Flow Analysis of Generalised Boolean Networks
From MaRDI portal
Publication:5404092
DOI10.1016/j.entcs.2012.05.012zbMath1283.92058WikidataQ113318114 ScholiaQ113318114MaRDI QIDQ5404092
Chiara Bodei, Linda Brodo, Davide Chiarugi
Publication date: 21 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.05.012
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Petri net representation of multi-valued logical regulatory graphs
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Mobile ambients
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Static analysis for the \(\pi\)-calculus with applications to security
- BioAmbients: an abstraction for biological compartments
- Rule-Based Modelling of Cellular Signalling
- Brane Calculi
- Computational Methods in Systems Biology
- CONCUR 2005 – Concurrency Theory