Concurrency CS&P 2011SPECIfication
and Programming
International Workshop,
28-30 September 2011, Pułtusk, Poland



This volume contains the Proceedings of XXth Concurrency, Specification and Programming (CS&P) Workshop. It is taking place from 28th to 30th September 2011 in Pułtusk, a mediaeval town, some 65 km to the north-east of the capital of Poland, in the old castle situated on the bank of the river Narew. The Proceedings altogether contain 54 contributions recorded for the first time on the electronic media, which, among other things, makes possible to display some figures in colours, retaining their original appearance in submitted papers.

In accordance with the Call For Papers, the Proceedings encompass topics roughly divided into two groups:

  1. Mathematical models of concurrency, Specification languages, theory of programming, parallel algorithms, model checking and testing (GROUP I);
  2.  Multi-agent systems, rough sets, object-oriented approaches, knowledge management, knowledge discovery and data mining, soft computing, applications (GROUP II).

Each group is represented by a stream of sessions dedicated to it and progressing with the other in parallel.

Following the initiative of Professor Andrzej Skowron, the former Editor-in-Chief of Fundamenta Informaticae, since the Berlin's meeting in 1998, papers obtaining highest evaluation have appeared in special issues of the periodical. It will also concern those collected in the present Proceedings - following their further editorial and evaluation treatment.

The Workshop was initiated in the mid 1970s by computer scientists and mathematicians from Warsaw and Humboldt Universities, as Polish-German annual meetings. They were suspended for some years in the 1980s and reactivated in 1992. Thereafter, the Workshop, organized alternatingly by the Institutes of Informatics and Mathematics of the University of Warsaw and the Institute of Informatics of Humboldt University in Berlin on the basis of an exchange program, has been given the name CS&P.

It should be mentioned that the CS&P meetings, initially purely bilateral, since 1992 have developed into events attended by participants from a number of different countries beside Poland and Germany. The present CS&P'2011 meeting will be hosting participants from the following countries: Germany, Italy, Poland, Russia, Saudi Arabia, Slovakia, and the United Kingdom.

The organisation of this year's CS&P would not be possible without the resources and financing provided by several institutions and projects. We would like to thank the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw and the Institute of Informatics of the Humboldt University of Berlin for the continuing financial and organisational support provided to CS&P over last twenty years. Our thanks go to the Białystok University of Technology for providing the means for publishing this proceedings volume. Last, but not the least, we are grateful for the significant financial support provided by the Polish National Centre for Research and Development (NCBiR) under grant SYNAT (No. SP/I/1/77065/10) in frame of the strategic scientific research and experimental development program: "Interdisciplinary System for Interactive Scientific and Scientific-Technical Information".

September 2011

Marcin Szczuka
Ludwik Czaja
Andrzej Skowron
Magdalena Kacprzak