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.