What are the Fundamental Structures of Concurrency?: We still don't know!
S. Abramsky. Electronic Notes in Theoretical Computer Science, (2006)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25).
DOI: 10.1016/j.entcs.2005.12.075
Аннотация
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.
%0 Journal Article
%1 Abramsky06
%A Abramsky, Samson
%D 2006
%J Electronic Notes in Theoretical Computer Science
%K Concurrency Formalisms Theory
%P 37--41
%R 10.1016/j.entcs.2005.12.075
%T What are the Fundamental Structures of Concurrency?: We still don't know!
%V 162
%X 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.
@article{Abramsky06,
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.},
added-at = {2016-02-18T11:17:51.000+0100},
author = {Abramsky, Samson},
biburl = {https://www.bibsonomy.org/bibtex/22056541ab5bea26fd8729d3d7bd34f65/gron},
doi = {10.1016/j.entcs.2005.12.075},
interhash = {33109f577d77ac5282af4266a9d6d963},
intrahash = {2056541ab5bea26fd8729d3d7bd34f65},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science },
keywords = {Concurrency Formalisms Theory},
note = {Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)},
pages = {37--41},
timestamp = {2016-02-18T11:17:51.000+0100},
title = {What are the Fundamental Structures of Concurrency?: We still don't know!},
volume = 162,
year = 2006
}