Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae · 2009
This is the eleventh special issue of Fundamenta Informaticae devoted to the CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P) workshop, in succession to the tenth special issue published in 2008. It contains selected and extended versions of 23 out of 53 papers presented at the meeting that took place in Gro Vter See (a nice forested area some 60 km. to the north of Berlin), from 29 September to 1 October 2008. As it was the case of all the previous special issues of Fundamenta Informaticae devoted to CS&P, the papers were selected on the basis of a review process applied by international scientific periodicals. A complete collection of the contributions has been published before the workshop by Humboldt University in Berlin as Proceedings. This is, thus, a continuation of the tradition of the former CS&Ps, whose participants had been supplied with proceedings in the form of technical reports during the meetings. The papers cover the following topics: mathematical models of concurrent systems, Petri nets in particular, parallel algorithms, model checking, theory of formal languages, specification languages, multiagent systems, rough sets, object-oriented approaches, knowledge management, knowledge discovery and data mining, as well as soft computing.