Constructing and visualizing chemical reaction networks from pi-calculus models

DOI10.1007/s00165-011-0209-0zbMath1298.92128OpenAlexW2029200790MaRDI QIDQ470031

Andrea Unger, Adelinde M. Uhrmacher, Heidrun Schumann, Hans-Jörg Schulz, Mathias John

Publication date: 11 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0209-0

zbMATH Keywords

stochastic modeling\(\pi\)-calculusreaction networksgraph visualization

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Modelling patterns of gene regulation in the bond-calculus

Uses Software

• SpiCO
• BlenX
• CGV
• Nevada

Cites Work

• Unnamed Item
• Unnamed Item
• Evolving BlenX programs to simulate the evolution of biological networks
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• A process model of Rho GTP-binding proteins
• On process rate semantics
• Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
• Biochemical Reaction Rules with Constraints
• The Attributed Pi-Calculus with Priorities
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
• A Stochastic Pi Calculus for Concurrent Objects
• Brane Calculi
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

This page was built for publication: Constructing and visualizing chemical reaction networks from pi-calculus models