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

Samson Abramsky
2014 arXiv   pre-print
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.
arXiv:1401.4973v1 fatcat:xpfawrxcfnfbxomlhrd3vgh5ii