What are the fundamental structures of concurrency? We still don't know!
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2014
- DOI:
- 10.48550/arXiv.1401.4973
- arXiv:
- arXiv:1401.4973
- Bibcode:
- 2014arXiv1401.4973A
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- 5 pages