G
Gian Luca Cattani
Researcher at Aarhus University
Publications - 23
Citations - 597
Gian Luca Cattani is an academic researcher from Aarhus University. The author has contributed to research in topics: Bisimulation & Presheaf. The author has an hindex of 13, co-authored 23 publications receiving 581 citations. Previous affiliations of Gian Luca Cattani include University of Cambridge.
Papers
More filters
Book ChapterDOI
Presheaf Models for Concurrency
Gian Luca Cattani,Glynn Winskel +1 more
TL;DR: One new result here is that a wide range of left Kan extensions, between categories of presheaves, preserve open maps, and this implies that any colimit-preserving functor between presheaf categories preserves open maps.
Journal ArticleDOI
Profunctors, open maps and bisimulation
Gian Luca Cattani,Glynn Winskel +1 more
TL;DR: It is proved that a colimit preserving functor between presheaf categories (corresponding to a profunctor) preserves open maps and open map bisimulation, which provides a mathematical framework for extending domain theory and denotational semantics of programming languages to the more intricate models, languages and equivalences found in concurrent computation.
Proceedings ArticleDOI
Higher dimensional transition systems
TL;DR: It is proved that the natural notion of bisimulation for such structures is a generalisation of the strong history preserving bisimulations, and an abstract categorical account of it via open maps is provided.
Proceedings ArticleDOI
Weak bisimulation and open maps
TL;DR: A systematic treatment of weak bisimulation and observational congruence on presheaf models is presented, developed with respect to a "hiding" functor from a category of paths to observable paths to derive a saturation monad.
Journal ArticleDOI
Presheaf Models for the pi-Calculus
TL;DR: It is shown how this approach to presheaf categories can also handle systems where the language of actions may change dynamically as a process evolves, including the pi-calculus, whose communication topology varies as channels are created and discarded.