An analysis for causal properties of membrane interactions
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1950547 (Why is no real title available?)
- A control flow analysis for Beta-binders with and without static compartments
- A simple calculus for proteins and cells
- Abstract interpretation based verification of temporal properties for BioAmbients
- An Analysis for Proving Temporal Properties of Biological Systems
- BioAmbients: an abstraction for biological compartments
- Brane Calculi
- Communication via mobile vesicles in brane calculi
- Computational Methods in Systems Biology
- Non-interleaving semantics for mobile processes
- Pathway analysis for BioAmbients
- Programming Languages and Systems
- Static Analysis
Cited in
(14)- A formal approach to open multiparty interactions
- Causality in Membrane Systems
- Events, Causality, and Concurrency in Membrane Systems
- A static analysis for brane calculi providing global occurrence counting information
- Predictors for flat membrane systems
- Membrane automata for modeling biomolecular processes
- Generalized contexts for reaction systems: definition and study of dynamic causalities
- Characterization and computation of ancestors in reaction systems
- Multiset patterns and their application to dynamic causalities in membrane systems
- Quantitative Causality in Membrane Systems
- Causal static analysis for brane calculi
- Computing preimages and ancestors in reaction systems
- A Global Occurrence Counting Analysis for Brane Calculi
- Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks
This page was built for publication: An analysis for causal properties of membrane interactions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q275996)
