A Spatial Extension to the π Calculus

DOI10.1016/j.entcs.2007.12.010zbMath1279.68262OpenAlexW1964514022MaRDI QIDQ2870304

Mathias John, Roland Ewald, Adelinde M. Uhrmacher

Publication date: 17 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.12.010

zbMATH Keywords

systems biologypi-calculusspatial modeling

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (11)

Using bigraphs to model topological graphs embedded in orientable surfaces ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Processes in space ⋮ Integrated regulatory networks (IRNs): spatially organized biochemical modules ⋮ Simulation of spatial P system models ⋮ Spatial calculus of looping sequences ⋮ Spatial Calculus of Looping Sequences ⋮ A Process Model of Actin Polymerisation ⋮ Spatial P systems ⋮ The Attributed Pi-Calculus with Priorities ⋮ Structural operational semantics for continuous state stochastic transition systems

Uses Software

• MCELL

Cites Work

• Real space process algebra
• The real-time process algebra (RTPA)
• BioAmbients: an abstraction for biological compartments
• Computational Methods in Systems Biology
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Spatial Extension to the π Calculus