|
Preliminary Proceedings of the 17th Annual Conference on Mathematical
Foundations of Programming Semantics, MFPS '01, (Aarhus, Denmark, May
24-27, 2001)
Stephen Brookes
May 2001 |
Abstract:
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 www.elsevier.nl/locate/entcs/volume45.html
Available as PostScript, PDF. |