| 2007 |
|---|
| 11 | EE | Gian Luca Cattani,
Marcelo P. Fiore:
The Bicategory-Theoretic Solution of Recursive Domain Equations.
Electr. Notes Theor. Comput. Sci. 172: 203-222 (2007) |
| 2005 |
|---|
| 10 | EE | Gian Luca Cattani,
Glynn Winskel:
Profunctors, open maps and bisimulation.
Mathematical Structures in Computer Science 15(3): 553-614 (2005) |
| 2004 |
|---|
| 9 | EE | Gian Luca Cattani,
Peter Sewell:
Models for name-passing processes: interleaving and causal.
Inf. Comput. 190(2): 136-178 (2004) |
| 2003 |
|---|
| 8 | EE | Gian Luca Cattani,
Glynn Winskel:
Presheaf models for CCS-like languages.
Theor. Comput. Sci. 300(1-3): 47-89 (2003) |
| 2000 |
|---|
| 7 | EE | Gian Luca Cattani,
Peter Sewell:
Models for Name-Passing Processes: Interleaving and Causal.
LICS 2000: 322-332 |
| 1999 |
|---|
| 6 | EE | Marcelo P. Fiore,
Gian Luca Cattani,
Glynn Winskel:
Weak Bisimulation and Open Maps.
LICS 1999: 67-76 |
| 1998 |
|---|
| 5 | EE | Gian Luca Cattani,
John Power,
Glynn Winskel:
A Categorical Axiomatics for Bisimulation.
CONCUR 1998: 581-596 |
| 4 | | Gian Luca Cattani,
Marcelo P. Fiore,
Glynn Winskel:
A Theory of Recursive Domains with Applications to Concurrency.
LICS 1998: 214-225 |
| 1997 |
|---|
| 3 | | Gian Luca Cattani,
Ian Stark,
Glynn Winskel:
Presheaf Models for the pi-Calculus.
Category Theory and Computer Science 1997: 106-126 |
| 1996 |
|---|
| 2 | | Gian Luca Cattani,
Glynn Winskel:
Presheaf Models for Concurrency.
CSL 1996: 58-75 |
| 1 | | Gian Luca Cattani,
Vladimiro Sassone:
Higher Dimensional Transition Systems.
LICS 1996: 55-62 |
