BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cattani:Gian_Luca

Contributed to:

LICS 20002000
LICS 19991999
LICS 19981998
CSL 19961996
LICS 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.