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

DOI10.1016/J.ENTCS.2005.12.075zbMATH Open1315.68188DBLPjournals/entcs/Abramsky06arXiv1401.4973OpenAlexW1955666073WikidataQ57006652 ScholiaQ57006652MaRDI QIDQ5262949FDOQ5262949

Samson Abramsky

Publication date: 10 July 2015

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

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.

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

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

Cites Work

• Abstract Physical Traces
• Title not available (Why is that?)
• Retracing some paths in process algebra
• State-transition structures in physics and in computation

Cited In (6)

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