Formal molecular biology
Vincent Danos,Cosimo Laneve +1 more
- Vol. 325, Iss: 1, pp 69-110
TLDR
A finer-grained concurrent model, the mK-calculus, is considered, where interactions have to be at most binary, and it is shown how to embed the coarser- grained language in the latter, a properly which the authors call self-assembly.Abstract:
A language of formal proteins, the K-calculus, is introduced. Interactions are modeled at the domain level, bonds are represented by means of shared names, and reactions are required to satisfy a causality requirement of monotonicity.An example of a simplified signalling pathway is introduced to illustrate how standard biological events can be expressed in our protein language. A more comprehensive example, the lactose operon, is also developed, bringing some confidence in the formalism considered as a modeling language.Then a finer-grained concurrent model, the mK-calculus, is considered, where interactions have to be at most binary. We show how to embed the coarser-grained language in the latter, a properly which we call self-assembly.Finally we show how the finer-grained language can itself be encoded in π-calculus, a standard foundational language for concurrency theory.read more
Citations
More filters
Book ChapterDOI
Rule-based modeling of biochemical systems with BioNetGen.
TL;DR: This work focuses on how a rule-based model is specified in the BioNetGen language (BNGL) and how a model specification is analyzed using the Bio netGen software tool.
Journal ArticleDOI
Rules for Modeling Signal-Transduction Systems
William S. Hlavacek,James R. Faeder,Michael L. Blinov,Richard G. Posner,Michael Hucka,Walter Fontana +5 more
TL;DR: Approaches to creation of mathematical models of signaling systems with strategies that keep the models from being unwieldy but still allow them to accurately reflect biological systems are reviewed.
Journal ArticleDOI
Bio-PEPA: A framework for the modelling and analysis of biological systems
TL;DR: Bio-PEPA is a modification of PEPA, originally defined for the performance analysis of computer systems, in order to handle some features of biological models, such as stoichiometry and the use of general kinetic laws.
Book ChapterDOI
Brane calculi
TL;DR: This work introduces a family of process calculi with dynamic nested membranes that are tightly coupled to membranes, and can perform interactions on both sides of a membrane.
Rule-based modelling of cellular signalling
TL;DR: In this paper, the authors adapt the notions of causality and conflict, familiar from concurrency theory, to?, their representation language of choice, and show how causality enables the formalization of the colloquial concept of pathway and, perhaps more surprisingly, how conflict can be used to dissect the signalling dynamics to obtain a qualitative handle on the range of system behaviours.
References
More filters
Journal ArticleDOI
Exact Stochastic Simulation of Coupled Chemical Reactions
TL;DR: In this article, a simulation algorithm for the stochastic formulation of chemical kinetics is proposed, which uses a rigorously derived Monte Carlo procedure to numerically simulate the time evolution of a given chemical system.
Book
Graph Theory
TL;DR: Gaph Teory Fourth Edition is standard textbook of modern graph theory which covers the core material of the subject with concise yet reliably complete proofs, while offering glimpses of more advanced methods in each chapter by one or two deeper results.
Book
Enzyme Kinetics: Behavior and Analysis of Rapid Equilibrium and Steady-State Enzyme Systems
TL;DR: Kinetics of Unireactant Enzymes.
Journal ArticleDOI
A calculus of mobile processes, II
TL;DR: The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.
Journal ArticleDOI
A Calculus of Mobile Processes - Part II
TL;DR: The purpose of the present paper is to provide a detailed presentation of some of the theory of the calculus developed to date, and in particular to establish most of the results stated in the companion paper.