Gian Luca Cattani

12 papers A* 4B 2Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2014 J jnl
Preface.
Theor. Comput. Sci.
Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca
2007 — conf
The Bicategory-Theoretic Solution of Recursive Domain Equations.
Computation, Meaning, and Logic
Gian Luca Cattani, Marcelo P. Fiore
2005 J jnl
Profunctors, open maps and bisimulation.
Math. Struct. Comput. Sci.
Gian Luca Cattani, Glynn Winskel
2004 J jnl
Models for name-passing processes: interleaving and causal.
Inf. Comput.
Gian Luca Cattani, Peter Sewell
2003 J jnl
Presheaf models for CCS-like languages.
Theor. Comput. Sci.
Gian Luca Cattani, Glynn Winskel
2000 A* conf
Models for Name-Passing Processes: Interleaving and Causal.
LICS
Gian Luca Cattani, Peter Sewell
1999 A* conf
Weak Bisimulation and Open Maps.
LICS
Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
1998 B conf
A Categorical Axiomatics for Bisimulation.
CONCUR
Gian Luca Cattani, John Power, Glynn Winskel
1998 A* conf
A Theory of Recursive Domains with Applications to Concurrency.
LICS
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
1997 — conf
Presheaf Models for the pi-Calculus.
Category Theory and Computer Science
Gian Luca Cattani, Ian Stark, Glynn Winskel
1996 A* conf
Higher Dimensional Transition Systems.
LICS
Gian Luca Cattani, Vladimiro Sassone
1996 B conf
Presheaf Models for Concurrency.
CSL
Gian Luca Cattani, Glynn Winskel