Cattani, Gian Luca
-
BRICS Report Series No. 36 (1999): RS-36 Presheaf Models for CCS-like Languages - Articles
Presheaf Models for CCS-like Languages
Abstract PDF -
BRICS Report Series No. 22 (2004): RS-22 Profunctors, Open Maps and Bisimulation - Articles
Profunctors, Open Maps and Bisimulation
Abstract PDF -
BRICS Report Series No. 35 (1997): RS-35 A Theory of Recursive Domains with Applications to Concurrency - Articles
A Theory of Recursive Domains with Applications to Concurrency
Abstract PDF -
BRICS Report Series No. 22 (1998): RS-22 A Categorical Axiomatics for Bisimulation - Articles
A Categorical Axiomatics for Bisimulation
Abstract PDF -
BRICS Report Series No. 34 (1997): RS-34 Presheaf Models for the pi-Calculus - Articles
Presheaf Models for the pi-Calculus
Abstract PDF -
BRICS Report Series No. 35 (1996): RS-35 Presheaf Models for Concurrency - Articles
Presheaf Models for Concurrency
Abstract PDF -
BRICS Report Series No. 14 (1999): RS-14 Weak Bisimulation and Open Maps - Articles
Weak Bisimulation and Open Maps
Abstract PDF -
BRICS Report Series No. 21 (1998): RS-21 A Representation Result for Free Cocompletions - Articles
A Representation Result for Free Cocompletions
Abstract PDF