TU BRAUNSCHWEIG

25 Years of Combining Compositionality and Concurrency (WS25CCC)

25 years ago, in March 1988, a Workshop on Combining Concurrency and Compositionality took place in Königswinter near Bonn. This event has achieved a somewhat legendary status since then.

We organised a jubilee workshop bringing together participants from the original workshop, people who have joined the field since then, and young researchers. The workshop took place at the same location as in 1988.

Organization

Key Dates

Program

Note that not all talks are available yet.

Computation and Interaction
Jos Baeten
Abstract Slides
Synthesising Persistent Systems
Eike Best (work done with Philippe Darondeau, Raymond Devillers, and Hanna Klaudel)
Abstract Slides
Fine-grained and coarse-grained reactive noninterference
Ilaria Castellani (Joint work with Pejman Attar, to be presented at TGC'13)
Abstract Slides
Compositional Synthesis of Distributed Systems
Bernd Finkbeiner

Abstract Slides

Causality, Composition, and the Security of Cyberphysical Systems
Sibylle Fröschle
Abstract Slides
25 Years of Compositionality Issues in CADP: An Overview
Hubert Garavel
Abstract Slides
On Characterising Distributability
Rob van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke-Uffmann
Abstract Slides
Testing equivalences revisited
Matthew Hennessy (Joint work with Giovanni Bernardi)
Abstract Slides
Model Interface Automata
Gerald Lüttgen and Walter Vogler
Abstract Slides (part I) Slides (part II)
Verification of Concurrent Programs under Relaxed Memory Models
Roland Meyer
Abstract Slides
Concurrency Theory Applied to Model-Based Testing: From Theory to Practice and Back
Mohammad Reza Mousavi
Abstract Slides
Automata-Based Analysis of Recursive Programs with Threads
Markus Müller-Olm
Abstract Slides
Synchronisation Patterns for Distributability in Process Calculi
Kirstin Peters (Joint work with Ursula Goltz and Uwe Nestmann)
Abstract Slides
Structural Transformations for Date-Enriched Real-Time-Systems
Ernst-Rüdiger Olderog (joint work with Mani Swaminathan)
Abstract Slides
Reversing Events
Iain Phillips (Joint work with Irek Ulidowski and Shoji Yuen)
Abstract Slides
CospanSpan(graph): an algebra for reconfigurable automata networks
Nicoletta Sabadini
Abstract Slides
Modeling Task Systems Using Parameterized Partial Orders
Frits Vaandrager (joint work with Fred Houben and Georgeta Igna, presented at RTAS'12)
Abstract Slides

Additional Talks

Implicit Complexity in Concurrent Λ-Calculi
Roberto Amadio
Slides
Markov-Automata
Christian Eisentraut
Slides
Overcoming the Concurrency Crisis in Teaching
Holger Hermanns
Slides

Participants

  • Roberto Amadio
  • Jos Baeten
  • Christel Baier
  • Hauke Baller
  • Eike Best
  • Johannes Bürdek
  • Ilaria Castellani
  • Willem de Roever
  • Raimond Devillers
  • Christian Eisentraut
  • Bernd Finkbeiner
  • Sybille Fröschle
  • Hubert Garavel
  • Rob van Glabbeek
  • Ursula Goltz
  • Ernst-Moritz Hahn
  • Matthew Hennessy
  • Holger Hermanns
  • Gerald Lüttgen
  • Michael Mendler
  • Stephan Mennicke
  • Roland Meyer
  • Mohammed Reza Mousavi
  • Markus Müller-Olm
  • Uwe Nestmann
  • Ernst-Rüdiger Olderog
  • Kirstin Peters
  • Iain Phillips
  • Nicoletta Sabadini
  • Jens-Wolfhard Schicke-Uffmann
  • Kevin van der Pol
  • Frits Vaandrager
  • Walter Vogler
  • Robert Walters

Resources


  aktualisiert am 19.08.2013
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang