@MISC{Pavlovic97specifyinginteraction, author = {D. Pavlovic and S. Abramsky}, title = {Specifying Interaction Categories}, year = {1997} }

Bookmark

OpenURL

Abstract

We analyse two complementary methods for obtaining models of typed process calculi, in the form of interaction categories. These methods allow adding new features to previously captured notions of process and of type, respectively. By combining them, all familiar examples of interaction categories, as well as some new ones, can be built starting from some simple familiar categories. Using the presented constructions, interaction categories can be analysed without fixing a set of axioms, merely in terms of the way in which they are specified --- just like algebras are analysed in terms of equations and relations, independently on abstract characterisations of their varieties.