Domain Theory for Concurrency. With Mikkel Nygaard.
Based on a talk given at the Copenhagen Workshop in Honour of
Dana S. Scott's 70th birthday.
Submitted to TCS special issue, May 2003. pdf.
Bisimulation from Open Maps.
With Andre Joyal and Mogens Nielsen.
In LICS '93 special issue of
Information and Computation, 127(2):164-185, June 1996.
In BRICS reports series
RS-94-7
Profunctors, Open Maps and Bisimulation. With Gian Luca Cattani.
To be submitted to MSCS, June 2003. ps.
Lecture Notes on Category theory. jointly with Mario Caccamo inspired by Martin Hyland's Part III Mathematics course at the University of Cambridge. Available from Mario Caccamo's homepage.
Models for Concurrency.
With Mogens Nielsen.
Pre-published version of a chapter in the Handbook of Logic and the
Foundations of Computer Science, vol. 4, pages 1-148, Oxford
University Press, 1995.
In DAIMI and BRICS reports series
RS-94-12
Events in security protocols. With Federico Crazzolara.
In proc. the 8th ACM Conference on Computer and Communication Security,
Philadelphia, November, 2001.
pdf.