Travelled to:1 × Italy
1 × The Netherlands
3 × USA
Collaborated with:G.Winskel M.P.Fiore P.Sewell V.Sassone
Talks about:concurr (2) model (2) interleav (1) dimension (1) presheaf (1) transit (1) process (1) bisimul (1) theori (1) system (1)
Person: Gian Luca Cattani
DBLP: Cattani:Gian_Luca
Contributed to:
200019991998
19961996Wrote 5 papers:
- LICS-2000-CattaniS #modelling #process
- Models for Name-Passing Processes: Interleaving and Causal (GLC, PS), pp. 322–333.
- LICS-1999-FioreCW #bisimulation
- Weak Bisimulation and Open Maps (MPF, GLC, GW), pp. 67–76.
- LICS-1998-CattaniFW #concurrent #formal method #recursion
- A Theory of Recursive Domains with Applications to Concurrency (GLC, MPF, GW), pp. 214–225.
- CSL-1996-CattaniW #concurrent #modelling
- Presheaf Models for Concurrency (GLC, GW), pp. 58–75.
- LICS-1996-CattaniS #higher-order
- Higher Dimensional Transition Systems (GLC, VS), pp. 55–62.