What are the fundamental structures of concurrency? We still don't know!

DOI10.1016/J.ENTCS.2005.12.075MaRDI QIDQ5262949zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Samson Abramsky

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.4973

zbMATH Keywords

concurrencygeometryPetri netsprocess algebraquantum computationquantum information

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum computation (81P68)

Abstract: Process algebra has been successful in many ways; but we don't yet see the lineaments of a fundamental theory. Some fleeting glimpses are sought from Petri Nets, physics and geometry.

Recommendations

• Lectures on Concurrency and Petri Nets
• A regular viewpoint on processes and algebra
• Petri's axioms of concurrency a selection of recent results
• scientific article; zbMATH DE number 1302049
• scientific article; zbMATH DE number 4074506

Cites work

• Abstract Physical Traces
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• Retracing some paths in process algebra
• State-transition structures in physics and in computation

Cited in

(9)

• Semi-Galois categories. II: An arithmetic analogue of Christol's theorem
• Bisimulation maps in presheaf categories
• From computing to interaction: on the expressiveness of asynchronous pi-calculus
• Branching vs. Linear Time: Semantical Perspective
• A regular viewpoint on processes and algebra
• Concurrent Process Histories and Resource Transducers
• The produoidal algebra of process decomposition
• Quantitative monoidal algebra: axiomatising distance with string diagrams
• Theory of interaction

This page was built for publication: What are the fundamental structures of concurrency? We still don't know!

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