Processes in space

DOI10.1016/J.TCS.2011.12.051MaRDI QIDQ418828zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Processes in space
• scientific article; zbMATH DE number 1735902
• Towards a homotopy theory of process algebra
• scientific article; zbMATH DE number 1107620
• scientific article; zbMATH DE number 2113973

Cites work

• A Distributed Pi-Calculus
• A spatial extension to the calculus
• Barbed bisimulation
• scientific article; zbMATH DE number 3155900 (Why is no real title available?)
• scientific article; zbMATH DE number 48028 (Why is no real title available?)
• scientific article; zbMATH DE number 1223738 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1544763 (Why is no real title available?)
• Mobile ambients
• On reduction-based process semantics
• Processes in space
• The chemical abstract machine

Cited in

(8)

• Processes and automorphisms on inductor spaces
• Component identification in biochemical pathways
• An algorithm for the identification of components in biochemical pathways
• Processes in space
• scientific article; zbMATH DE number 2119928 (Why is no real title available?)
• Theory Is Forever
• Process calculi for biological processes
• Space-aware ambients and processes

This page was built for publication: Processes in space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418828)