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)