Power, John
-
BRICS Report Series No. 21 (1998): RS-21 A Representation Result for Free Cocompletions - Articles
A Representation Result for Free Cocompletions
Abstract PDF -
BRICS Report Series No. 22 (1998): RS-22 A Categorical Axiomatics for Bisimulation - Articles
A Categorical Axiomatics for Bisimulation
Abstract PDF