Access the full text.
Sign up today, get DeepDyve free for 14 days.
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
Fundamenta Informaticae 109 (2011) iâi DOI 10.3233/FI-2011-506 IOS Press Concurrency Speciï¬cation and Programming (CS&P) This is the ï¬rst part of the thirteenth special issue of Fundamenta Informaticae devoted to the CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P) workshop, in succession to the twelfth special issue published in 2010. This part contains selected and extended versions of 10 out of 40 papers presented at the meeting that took place in Helenenau, Germany, from 27 to 29 September 2010. As it was the case of all the previous special issues of Fundamenta Informaticae based on CS&P, the papers were selected on the basis of a review process admitted by international scientiï¬c 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 contained in both parts of the special issue cover the following topics: mathematical models of concurrent systems, Petri nets in particular, parallel algorithms, model checking and testing, theory of programming, speciï¬cation languages, multiagent systems, rough sets, object-oriented approaches, knowledge management, knowledge discovery and data mining, as well as soft computing and some applications. The CS&P workshops, being held every even year in Germany and every odd year in Poland, are supported by Warsaw University and Humboldt University in Berlin on the basis of an exchange programme. Initiated by computer science and mathematical logic interest groups afï¬liated to Warsaw and Humboldt Universities in the mid-seventies of the XX century, the workshops were suspended for some years in the eighties and resumed in 1992 in the extended form of participation: they evolved from bilateral meetings to the meetings hosting researchers also from a number of countries other than Germany and Poland. The scope of subjects has been broadened too: from linguistic and logical issues initially to such research areas as the ones mentioned above. Ludwik Czaja, Institute of Informatics, University of Warsaw and University of Economics and Computer Science in Warsaw (Editor of the issue) Warsaw, May 2011
Fundamenta Informaticae – IOS Press
Published: Jan 1, 2011
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.