Processes in Space
From MaRDI portal
Publication:3576193
DOI10.1007/978-3-642-13962-8_9zbMath1286.68345WikidataQ56981947 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
68U05: Computer graphics; computational geometry (digital and algorithmic aspects)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
51N10: Affine analytic geometry
Related Items
A Higher-Order Calculus of Computational Fields, Processes in space, Integrated regulatory networks (IRNs): spatially organized biochemical modules, Spatial calculus of looping sequences, From P systems to morphogenetic systems: an overview and open problems, Morphogenetic systems for resource bounded computation and modeling, Structural operational semantics for continuous state stochastic transition systems, A general overview of formal languages for individual-based modelling of ecosystems, Simulation of spatial P system models, Rigid geometric constraints for Kappa models