Search the dblp DataBase

Publications of Author

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