What are the Fundamental Structures of Concurrency?. We still don't know!

Electronic Notes in Theoretical Computer Science

Volumn 162, Issue 1, 2006, Pages 37-41

  Abramsky, Samson ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Concurrency; geometry; Petri nets; process algebra; quantum information and computation

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL GEOMETRY; LINEAR ALGEBRA; PETRI NETS;

PROCESS ALGEBRA; QUANTUM INFORMATION AND COMPUTATION;

CONCURRENCY CONTROL;

EID: 33748914882     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.075     Document Type: Article

References (7)

1. Abramsky S. Retracing some paths in process algebra. Proceedings of the Seventh International Conference in Concurrency Theory. (CONCUR 96). LNCS 1119 (1996) 1-17
2. Abramsky, S. and B. Coecke. A categorical semantics of quantum protocols. In "Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science" (2004) 415-425. arXiv:quant-ph/0402130
3. Abramsky S., and Coecke B. Abstract physical traces. Theory and Applications of Categories 14 (2005) 111-124
4. Abramsky S., Gay S.J., and Nagarajan R. Interaction categories and foundations of typed concurrent programming. Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School. NATO ASI Series F (1995), Springer-Verlag 35-113
5. Goubault, E. Some Geometric Perspectives in Concurrency Theory. To appear in Homology, Homotopy and Applications. Available at http://www.di.ens.fr/Egoubault/GOUBAULTpapers.html, 2001
6. Petri C.-A. State-Transition Structures in Physics and in Computation. International Journal of Theoretical Physics 21 12 (1982) 979-993
7. Sorkin R. First Steps in Causal Sets. Available at. http://physics.syr.edu/~sorkin/some.papers/