A.J. POWER, G.L. CATTANI and G. WINSKEL.
A Representation Result for Free
Cocompletions. Journal of Pure and
Applied Algebra, vol. 151(3), pages 273-286, 2000.
G.L. CATTANI and P. SEWELL.
Models for Name-Passing Processes:
Interleaving and Causal (Extended Abstract).
In Proceedings of the 15th Symposium on Logic
in Computer Science, LICS
2000, pages 322-333, IEEE Press, 2000.
M. FIORE, G.L. CATTANI and G. WINSKEL.
Weak Bisimulation and Open Maps.
In Proceedings of the 14th Symposium on Logic
in Computer Science, LICS
`99, pages 67--76, IEEE Press, 1999.
G.L. CATTANI, A.J. POWER and G. WINSKEL.
A Categorical Axiomatics for
Bisimulation. In Proceedings of the 9th International
Conference on Concurrency Theory, CONCUR
'98. Lecture Notes in Computer Science 1466, pages 581--596,
Springer-Verlag, 1998.
G.L. CATTANI,
M. FIORE and G. WINSKEL.
A Theory of Recursive Domains with Applications to
Concurrency.
In Proceedings of the 13th Symposium on Logic
in Computer Science, LICS
`98, pages 214--225, IEEE Press, 1998.
A preliminary version is available as BRICS Report Series, nr. RS-97-35.
G.L. CATTANI,
I. STARK and G. WINSKEL.
Presheaf Models for the Pi-Calculus.
In Category Theory and Computer Science: Proceedings of
the 7th International Conference CTCS '97, Lecture Notes in Computer
Science 1290, pages 106-126. Springer-Verlag 1997. A slightly revised
version is available as BRICS Report Series, nr. RS-97-34.
G.L. CATTANI and
G. WINSKEL.
Presheaf Models for Concurrency.
In Proceedings of the 10th Annual International Conference
of the European Association for Computer Science Logic, CSL `96. Lecture
Notes in Computer Science 1258, pages 58--75, Springer-Verlag 1997.
Preliminary version is available as
BRICS
Report Series, nr. RS-96-35.
G.L. CATTANI and
V. SASSONE.
Higher Dimensional Transition Systems.
In Proceedings of the 11th Symposium on Logic in Computer
Science, LICS `96, pages. 55-62, IEEE Press, 1996.
G.L. CATTANI and P. SEWELL.
Models for Name-Passing
Processes: Interleaving and Causal. Technical Report 505, Cambridge
University Computer Laboratory, September 2000. Revised and
extended version of Models for Name-Passing
Processes: Interleaving and Causal (Extended Abstract)
G.L. CATTANI and J.J. LEIFER and R. MILNER.
Contexts and Embeddings for a Class
of Action Graphs. Technical Report 496, Cambridge
University Computer Laboratory, July 2000.
G.L. CATTANI and G. WINSKEL.
Presheaf Models for CCS-like Languages. Revised and extended version of Presheaf Models
for Concurrency and of Chapter 3 of the first author's PhD Thesis,
November 1999.
G.L. CATTANI, A.J. POWER and G. WINSKEL.
Towards a Categorical Axiomatics of
Bisimulation. Journal version of A Categorical Axiomatics for Bisimulation,
February 1999.