Higher-Order and Symbolic Computation, 19(2/3)
About permutation algebras, (pre)sheaves and named sets
Fabio Gadducci, Department of Computer Science, University of
Pisa, Pisa, Italy
Marino Miculan, Department of Mathematics and Computer Science,
University of Udine, Udine, Italy
Ugo Montanari, Department of Computer Science, University of Pisa,
Pisa, Italy
|
Abstract: In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like e.g. process calculi with name-passing). We focus on (pre)sheaf categories, nominal sets, permutation algebras and named sets, studying the relationships among these models, thus allowing techniques and constructions to be transferred from one model to the other. |
This article is not yet available.
![[picture of journal cover]](../LISP.JPG)