@INCOLLECTION { Rsds2271,
booktitle = {Fundamenta Informaticae 60 (1-4), 2004}, 
series =  = {Special Issue on Concurrency, Specification and Programming (CS&P 2003), Czarna, Poland, 25-27 Septe}, 
pages = {1--436}, 
publisher = {IOS Press}, 
address = {Amsterdam, The Netherlands}, 
year = 2004, 
editor = {Burkhard, Hans Dieter and Czaja, Ludwik and Suraj, Zbigniew}, 
issn = {0169-2968}, 
abstract = {This is the sixth special issue of Fundamenta Informaticae devoted to the Concurrency, Specification and Programming (CS&P) workshop, in succession to the fifth special issue published in 2003. It contains a selection of 26 papers (three invited including) presented at the meting that took place in Czarna, Poland from 25th to 27th September, 2003. The papers make about half of all the contributions to CS&P'2003, following acceptance for publication in this issue. A complete collection of the contributions has been published before the workshop by the Warsaw University in two volumes as Proceedings. This is, thus, a continuation of tradition of the former CS&Ps, whose participants had been supplied with proceedings in the form of technical reports during the meetings. The papers encompass various topics such as classical Petri nets theme, their theory and related issues, model checking, parallel algorithms and computational models, time-dependent systems, knowledge management, rough set theory, data mining, agent oriented approaches, and logical specifications. Besides, three invited papers present certain problems with their solution methods that may initiate some original research directions.}, 
keywords = {Petri nets, model checking, parallel algorithms, computational models, timed-dependent systems, knowledge management, rough sets, data mining, agent oriented approaches, logical specifications, }, 
}