Preface Volume 1

AbstractForeword and DedicationThis volume contains the Proceedings of the Eleventh Conference on the Mathematical Foundations of Programming Semantics. The Conference was held on the campus of Tulane University, New Orleans, LA from March 29 to April 1, 1995.The papers in this volume were reviewed or were solicited by the Organizers and Program Committee for the meeting. This is the first volume in the new series, Electronic Notes in Theoretical Computer Science. This series is published electronically through the facilities of Elsevier Science B.V. and under its auspices. The aim of the series is to provide rapid, electronic publication of conference proceedings and of lecture notes, thematic monographs, and other such publications of interest to the theoretical computer science community. The Managing Editors of the series are Michael Mislove, Maurice Nivat and Christos Papadimitriou. ENTCS is affiliated with the journal Theoretical Computer Science, and anyone whose home institution has a paid subscription to TCS and its electronic components will have access to the ENTCS archives. This material and the volumes in the series will be available via Elsevier Science's World Wide Web server, which can be accessed at the URL http://www.elsevier.nl/locate/entcsAs has been customary with past MFPS Conference Proceedings, the authors have had a chance to revise their papers after the conference, and the electronic version of the Proceedings contains revised versions of most of the original offerings.Some thanks are due to a number of people who have provided support for the conference. Among this group are the Program Committee members, who are Gerard Berry (INRIA)Luca Cardelli (DEC SRC)Achim Jung (Darmstadt)John Mitchell (Stanford)Philip Mulry (Colgate)Ana Pasztor (Florida International)Prakash Panangaden (McGill)Edmund Robinson (Sussex)Pino Rosolini (Genova)Steve Schneider (Royal Holloway)Philip Scott (Ottawa)Steve Vickers (Imperial)Glynn Winskel (Aarhus)Also, thanks are due to the anonymous referees who helped review the submissions for the meeting.There were two special sessions during the meeting. The first, which was organized by Steve Brookes and Bob Tennent focused on recent research that has arisen from the work of John Reynolds. As the Dedication below indicates, the occasion for this special session was John's 60th birthday year. We thank Steve and Bob for putting the session together, and the participants for their contributions. We also wish to thank John Mitchell and Luca Cardelli for organizing a special session on Object-Oriented Programming.The Organizers for the MFPS series are Stephen Brookes, Michael Main, Austin Melton, Michael Mislove and David Schmidt. On behalf of the participants, we wish to express our thanks both to the Office of Naval Research, and especially Dr. Ralph Wachter, who have generously supported this series, and to the National Science Foundation, and especially Dr. Helen Gill, who provided support that allowed additional minority members and women to participate in this year's meeting.Lastly, we also wish to thank Ms. Geralyn Caradona, who again this year provided exemplary support in attending to all the details of arranging for the meeting needs. Without her efforts, there was a real possibility that the meeting would not have found a venue on the Tulane campus, and her efforts extended as far as designing the cover of this volume, which is a template for the new ENTCS series.Steve Brookes, Michael Main, Austin Melton and Michael Mislove (Guest Editors)DedicationWe dedicate this volume, the Proceedings of MFPS XI toJohn C. Reynolds on the occasion of his 60th birthday. During the meeting, special session devoted to work growing out of John's seminal research was conducted, organized by Steve Brookes an d Bob Tennent. Along with the participants in that session, the Organizers want to cite John for his exceptional research and the guiding hand with which he has led the development of so much of semantics research.The Organizer