scientific article; zbMATH DE number 5051639
From MaRDI portal
Publication:5486047
zbMATH Open1101.92021MaRDI QIDQ5486047FDOQ5486047
Authors: Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina 
Publication date: 6 September 2006
Title of this publication is not available (Why is that?)
Recommendations
- Modelling biochemical pathways with the calculus of looping sequences
- The Calculus of Looping Sequences for Modeling Biological Membranes
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- Computational Methods in Systems Biology
- Mathematical modeling for studying microbial processes -- some examples
- Prospects for declarative mathematical modeling of complex biological systems
- A mathematical treatment for the contextual dependent bio-systems
- scientific article; zbMATH DE number 3856887
Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42) Cell biology (92C37) Theory of computing (68Q99)
Cited In (22)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- Spatial calculus of looping sequences
- Type Disciplines for Analysing Biologically Relevant Properties
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- Simulation techniques for the calculus of wrapped compartments
- Typed stochastic semantics for the calculus of looping sequences
- Bisimulations in calculi modelling membranes
- The Calculus of Looping Sequences for Modeling Biological Membranes
- Stochastic bigraphs
- Spatial calculus of looping sequences
- Modelling biochemical pathways with the calculus of looping sequences
- An intermediate language for the stochastic simulation of biological systems
- A calculus of looping sequences with local rules
- An intermediate language for the simulation of biological systems
- Process Algebra Modelling Styles for Biomolecular Processes
- Enumerated type semantics for the calculus of looping sequences
- An overview of the K semantic framework
- Mean-field semantics for a process calculus for spatially-explicit ecological models
- Modular verification of interactive systems with an application to biology
- An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus
- Formal Cellular Machinery
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486047)
