Wandlitz, German, 27-29 September 2006 Hans
Transkrypt
Wandlitz, German, 27-29 September 2006 Hans
SPECIAL ISSUE ON CONCURRENCY, SPECIFICATION AND PROGRAMMING (CS&P 2006) Wandlitz, German, 27-29 September 2006 Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Wojciech Penczek, Andrzej Salwicki, Holger Schlingloff, Zbigniew Suraj (Guest Editors) Fundamenta Informaticae 79(3-4), IOS Press, Amsterdam, 265399(2007) This special issue of Fundamenta Informaticae contains selected and extended versions of 23 out of 73 papers presented at the meeting that took place in Wandlitz, German, from 27th to 29th September 2006. The papers cover the following topics: mathematical models of concurrent systems, Petri nets in particular, model checking, parallel algorithms, 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. ISSN: 0169-2968 (Print) 1875-8681 (Online)