Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Premonoidal categories as categories with algebraic structure
Theoretical Computer Science
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Robin Milner's Work on Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Action calculi are a class of action structures with added structure. Each action calculus AC(K) is determined by a set K of controls, equipped with reaction rules; calculi such as Petri nets, the typed lambda calculus and the pi calculus are obtained by varying K. This paper defines for each K a category CS(K), characterized by equational axioms, of action structures with added structure; they are called control structures and provide models of the calculus AC(K), which is initial in the category. The surface of an action is defined; it is an abstract correlate of the syntactic notion of free name. Three equational characterizations of surface are found equivalent. It permits a non-syntactic treatment of the linkage among the components of an interactive system. Finally, control structures and their morphisms offer a means of classifying the variety of dynamic disciplines in models of concurrency, such as the mobility present in the pi calculus but absent in other calculi.