What are the Fundamental Structures of Concurrency?-Reference-Cited by-同舟云学术

What are the Fundamental Structures of Concurrency?

Published:2006-09 Issue: Volume:162 Page:37-41
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Abramsky Samson

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference7 articles.

1. Retracing some paths in process algebra;Abramsky,1996

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. Abstract physical traces;Abramsky;Theory and Applications of Categories,2005

4. Interaction categories and foundations of typed concurrent programming;Abramsky,1995

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

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too;Service-Oriented Computing;2021

2. Informatics as a Science;ENTERP MODELLING INF;2020

3. Bisimulation Maps in Presheaf Categories;Electronic Notes in Theoretical Computer Science;2019-11

4. Topological Interpretation of Interactive Computation;From Reactive Systems to Cyber-Physical Systems;2019

5. Petri Nets: The Next 50 Years—An Invitation and Interpretative Translation;Carl Adam Petri: Ideas, Personality, Impact;2019