What are the fundamental structures of concurrency? We still don't know!
Logic in Computer Science
2014-01-21 v1
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.
Cite
@article{arxiv.1401.4973,
title = {What are the fundamental structures of concurrency? We still don't know!},
author = {Samson Abramsky},
journal= {arXiv preprint arXiv:1401.4973},
year = {2014}
}
Comments
5 pages