TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9638

Expressiveness in Concurrency

( 16. Sep – 20. Sep, 1996 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9638

Organisatoren
  • F. Vaandrager
  • R. De Nicola
  • U. Goltz



Summary

One of the main research objectives of computer science is the development of formal methods for the design and implementation of programming languages. This research area has witnessed a proliferation of concepts, models and methods. However, the problem of the relative expressive power of the various programming concepts has rarely been addressed systematically.

A systematic study and a formal comparison is even more needed in the case of formalisms for programming or specifying parallel and distributed systems. This study is indispensable for classifying the different programming languages and for providing a formal basis for design principles and implementation techniques of concurrent and/or distributed programming languages.

The main aim of the seminar, organized within the program of the HCM-network EXPRESS, was a better understanding of the interconnections and relations between programming concepts, constructs, models and logics for concurrent specification and implementation languages. The final objective of the project is the definition of a general framework for the comparison of the formal methods for specification and verification developed within the various programming paradigms, in particular with a focus on process algebras. The seminar gave the possibility to compare results of the project with related approaches.

The different talks and the lively discussion offered the occasion for comparing specification and verification methods, developed various programming paradigms, and threw light on:

  • the primitives for communication (synchronous vs asynchronous) and nondeterministic choice (internal vs external);
  • the different stress on causal and temporal dependencies offered by the various semantic models (process algebras, Petri nets, modal logics, rewrite systems),
  • the relative merits of the different approaches to concurrent systems semantics (algebraic, axiomatic, operational, denotational).

The program of the seminar was intense and stimulating; it comprised 30 talks, the abstracts of which are recorded in the Dagstuhl-Seminar-Report in alphabetical order.

Copyright

Teilnehmer
  • F. Vaandrager
  • R. De Nicola
  • U. Goltz