Processes in space

DOI10.1016/j.tcs.2011.12.051zbMath1251.68153OpenAlexW1974730038WikidataQ56981898 ScholiaQ56981898MaRDI QIDQ418828

Luca Cardelli, Philippa Gardner

Publication date: 30 May 2012

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.051

zbMATH Keywords

affine geometryprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

An algorithm for the identification of components in biochemical pathways ⋮ Process calculi for biological processes ⋮ Component identification in biochemical pathways

Cites Work

• The chemical abstract machine
• On reduction-based process semantics
• Mobile ambients
• A Spatial Extension to the π Calculus
• A Distributed Pi-Calculus
• Processes in Space
• Barbed bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Processes in space