The scope of Concur 2004

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications (in a broad sense). Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scientific relevance of their foundations.

Topics include (but are not limited to):

  • Basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain-theoretic or game-theoretic models, modal and temporal logics).
  • Specialised or enriched models (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols).
  • Related verification techniques and tools (such as state-space exploration, model-checking, synthesis, abstraction, automated deduction, testing).
  • Related programming models (such as distributed, constraints or object-oriented, graph rewriting, as well as associated type systems, static analyses, abstract machines, and environments).