Modelling biochemical pathways through enhanced \(\pi\)-calculus

DOI10.1016/j.tcs.2004.03.066zbMath1071.68074OpenAlexW2138519564MaRDI QIDQ1884867

C. T. Baldari, Pierpaolo Degano, Corrado Priami, M. Curti

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.03.066

zbMATH Keywords

ConcurrencyCausalitySystems biologyReduction semantics

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice ⋮ What is a free name in a process algebra? ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Spatial calculus of looping sequences ⋮ Bisimulations in calculi modelling membranes ⋮ Spatial Calculus of Looping Sequences ⋮ An intermediate language for the stochastic simulation of biological systems ⋮ A control flow analysis for Beta-binders with and without static compartments ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ Computational virtuality in biological systems ⋮ Pierpaolo Degano ⋮ An Intermediate Language for the Simulation of Biological Systems

Uses Software

• GEPASI

Cites Work

• A calculus of mobile processes. I
• Non-interleaving semantics for mobile processes
• Names of the \(\pi\)-calculus agents handled locally
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Language-based performance prediction for distributed and mobile systems
• Functions as processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modelling biochemical pathways through enhanced \(\pi\)-calculus