Processes in Space
From MaRDI portal
Publication:3576193
DOI10.1007/978-3-642-13962-8_9zbMath1286.68345OpenAlexW1547397200WikidataQ56981947 ScholiaQ56981947MaRDI QIDQ3576193
Luca Cardelli, Philippa Gardner
Publication date: 29 July 2010
Published in: Programs, Proofs, Processes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_9
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Affine analytic geometry (51N10)
Related Items (10)
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 ⋮ A Higher-Order Calculus of Computational Fields ⋮ Spatial calculus of looping sequences ⋮ From P systems to morphogenetic systems: an overview and open problems ⋮ Rigid geometric constraints for Kappa models ⋮ Morphogenetic systems for resource bounded computation and modeling ⋮ Structural operational semantics for continuous state stochastic transition systems
This page was built for publication: Processes in Space