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

geometryquantum informationconcurrencyPetri netsprocess algebraquantum computation

Mathematics Subject Classification ID

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

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

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

Cited in

(7)

• A regular viewpoint on processes and algebra
• From computing to interaction: on the expressiveness of asynchronous pi-calculus
• Concurrent Process Histories and Resource Transducers
• Semi-Galois categories. II: An arithmetic analogue of Christol's theorem
• Branching vs. Linear Time: Semantical Perspective
• Bisimulation maps in presheaf categories
• 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)