Presheaf Models for Concurrency. - Gian Luca Cattani; Glynn Winskel (CSL, 1996)

Higher Dimensional Transition Systems. - Gian Luca Cattani; Vladimiro Sassone (LICS, 1996)

Presheaf Models for the pi-Calculus. - Gian Luca Cattani; Ian Stark; Glynn Winskel (Category Theory and Computer Science, 1997)

A Categorical Axiomatics for Bisimulation. - Gian Luca Cattani; John Power; Glynn Winskel (CONCUR, 1998)

A Theory of Recursive Domains with Applications to Concurrency. - Gian Luca Cattani; Marcelo P. Fiore; Glynn Winskel (LICS, 1998)

Weak Bisimulation and Open Maps. - Marcelo P. Fiore; Gian Luca Cattani; Glynn Winskel (LICS, 1999)

Presheaf models for CCS-like languages. - Gian Luca Cattani; Glynn Winskel (Theor. Comput. Sci., 2003)

Models for name-passing processes: interleaving and causal. - Gian Luca Cattani; Peter Sewell (Inf. Comput., 2004)

Profunctors, open maps and bisimulation. - Gian Luca Cattani; Glynn Winskel (Math. Struct. Comput. Sci., 2005)

The Bicategory-Theoretic Solution of Recursive Domain Equations. - Gian Luca Cattani; Marcelo P. Fiore (Computation, Meaning, and Logic, 2007)

Preface. - Gian Luca Cattani; Thomas T. Hildebrandt; Daniele Varacca (Theor. Comput. Sci., 2014)