Preliminary Proceedings of the 17th Annual Conference on Mathematical Foundations of Programming Semantics, MFPS '01, (Aarhus, Denmark, May 24-27, 2001)

Stephen Brookes
Michael Mislove (editors)

May 2001


This volume contains the preliminary proceedings of MFPS'01, which was held at the University of Aarhus on 24-27 May 2001. The final proceedings will appear as volume 45 in the ENTCS series, which can be found at

Available as PostScript, PDF.


Last modified: 2003-06-08 by webmaster.