Typed stochastic semantics for the calculus of looping sequences
From MaRDI portal
Publication:418845
DOI10.1016/j.tcs.2011.12.062zbMath1284.68317MaRDI QIDQ418845
Livio Bioglio, Angelo Troina, Paola Giannini, Mariangiola Dezani-Ciancaglini
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.062
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
92C42: Systems biology, networks
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bisimulations in calculi modelling membranes
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Membrane computing. An introduction.
- Modeling and querying biomolecular interaction networks
- Formal molecular biology
- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- BioAmbients: an abstraction for biological compartments
- Abstract interpretation and types for systems biology
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
- A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday
- Enumerated type semantics for the calculus of looping sequences
- DYNAMICAL PROBABILISTIC P SYSTEMS
- Bisimulation Congruences in the Calculus of Looping Sequences
- Multi-level modelling via stochastic multi-level multiset rewriting
- Type Disciplines for Analysing Biologically Relevant Properties
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- Membrane Computing
- Stochastic Bigraphs
- Brane Calculi
- Computational Methods in Systems Biology