Interaction Categories and the Foundations of Typed Concurrent Programming (1995)
| Venue: | In Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F |
| Citations: | 119 - 17 self |
BibTeX
@INPROCEEDINGS{Abramsky95interactioncategories,
author = {Samson Abramsky and Simon Gay and Rajagopal Nagarajan},
title = {Interaction Categories and the Foundations of Typed Concurrent Programming},
booktitle = {In Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F},
year = {1995},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose Interaction Categories as a new paradigm for the semantics of functional and concurrent computation. Interaction categories have specifications as objects, processes as morphisms, and interaction as composition. We introduce two key examples of interaction categories for concurrent computation and indicate how a general axiomatisation can be developed. The upshot of our approach is that traditional process calculus is reconstituted in functorial form, and integrated with type theory and functional programming.
