Abstract | ||
---|---|---|
In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example 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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/s10990-006-8749-3 | Higher-Order and Symbolic Computation |
Keywords | Field | DocType |
general model,well-known approach,sheaf category,calculi dealing,nominal set,nominal calculi . permutation algebras . presheaf categories . named sets,permutation algebra,example process calculus,process calculi | Algebra,Computer science,Sheaf,Permutation,Symbolic computation,Process calculus | Journal |
Volume | Issue | ISSN |
19 | 2-3 | 1573-0557 |
Citations | PageRank | References |
37 | 1.53 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fabio Gadducci | 1 | 772 | 62.94 |
Marino Miculan | 2 | 502 | 43.24 |
Ugo Montanari | 3 | 6297 | 1135.53 |