Gian Luca Cattani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1996–2000
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | LICS | Models for Name-Passing Processes: Interleaving and Causal. | Gian Luca Cattani, Peter Sewell |
| 1999 | LICS | Weak Bisimulation and Open Maps. | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
| 1998 | CONCUR | A Categorical Axiomatics for Bisimulation. | Gian Luca Cattani, John Power, Glynn Winskel |
| 1998 | LICS | A Theory of Recursive Domains with Applications to Concurrency. | Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel |
| 1996 | CSL | Presheaf Models for Concurrency. | Gian Luca Cattani, Glynn Winskel |
| 1996 | LICS | Higher Dimensional Transition Systems. | Gian Luca Cattani, Vladimiro Sassone |