A Spatial Extension to the π Calculus
From MaRDI portal
Publication:2870304
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
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
Cites Work
This page was built for publication: A Spatial Extension to the π Calculus