Preface: Volume 18.1

Abstract

This volume contains the proceedings of the MFCS'98 Workshop on Concurrency, which took place in Brno, Czech Republic, 27-29 August 1998, as a satellite event of MFCS'98, the 23rd international symposium on Mathematical Foundations of Computer Science.The preliminary versions of the contributions appeared in the pre-proceedings published as a report at Masaryk university, Brno http://www.fi.muni.cz/informatics/reports/.The idea of the Workshop was initiated by Jozef Gruska, one of the co-chairs of MFCS'98. The Workshop became one of several satellite events of MFCS'98; its aim was to provide a special forum for researchers in the area of concurrency participating in MFCS'98 but also to attract further interested researchers. (There were around 40 participants registrated for the Workshop).The call of papers suggested the topics like decidability and complexity of testing behavioural equivalences, model checking and other verification problems for various models of (concurrent) systems, models for concurrency, practical tools for modelling and verification of concurrent systems, verification of infinite-state processes, but it did not limit the submissions to these topics.According to evaluations of the programme committee members, assisted by further referees, 17 submissions (out of 24) have been selected for presentation at the Workshop.With one exception, they were presented at the Workshop, and accompanied by the invited lectures given by Javier Esparza (Munich) and Faron Moller (Uppsala). F. Moller also provided a written text included in this proceedings.We would like to thank very much to Ahmed Bouajjani (Grenoble), Julian Bradfield (Edinburgh), Wilfried Brauer (Munich), Mogens Nielsen (Aarhus) and Colin Stirling (Edinburgh) who kindly accepted the participation in the programme committee and the work connected with the submission evaluation.We also wish to thank to Jan Staudek, the chair of the MFCS'98 organising committee, as well as to the local organising committee of the Workshop, who helped with its realization. We also acknowledge the partial support of the Grant Agency of the Czech Republic to the Workshop - via grant No.201/97/0456.Last but not least we thank to the ENTCS editors who accepted the idea of creating this volume, and especially to Michael Mislove for his kind assistance at its preparation.Brno, November 1998Petr Jancar and Mojmir KretinskyProgramme Committee Co-chairsProgramme CommitteeAhmed Bouajjani, Grenoble (F)Mojmir Kretinsky (co-chair), Brno (CZ)Julian Bradfield, Edinburgh (UK)Mogens Nielsen, Aarhus (DK)Wilfried Brauer, Munich (D)Colin Stirling, Edinburgh (UK)Petr Jancar (co-chair), Ostrava (CZ)Organising CommitteeIvana Cerna, Brno (CZ), Antonin Kucera, Brno (CZ), Jiri Srba, Brno (CZ)