| Mi, 01.07.09 | Workshop Synchrony and Asynchrony in Distributed Systems | | 8.15 - | Registration | | 8.45 – 10.30 | Opening and Keynotes
Chair: Ursula Goltz Synchronizers, Arbiters and Metastability in GALS systems
David Kinniment, Newcastle University
Abstract Traffic Models: The Basis of Traffic Management
Peter Möhl, PTV AG
Abstract | | 10.30 - 11.00 | Break | | 11.00 - 12.30 | Session 1.1: Theoretical Aspects and Verification
Chair: Ursula Goltz Asynchronous Communication in Process Calculi
Uwe Nestmann, TU Berlin
Abstract Translating Synchronous to Asynchronous Communication and Vice Versa
Jan Friso Groote, TU Eindhoven
Abstract Cycle-based Programming of Distributed Systems: The Synchrony-Hypothesis
Michael Mendler, Univ. Bamberg
Abstract | | 12.30 - 14.00 | Lunch |
| 14.00 - 15.30 | Session 1.2: Distributed Algorithms and Programming
Chair: Mladen Berekovic The Heard-Of Model: Computing in Distributed Systems with Benign Failures
Bernadette Charron-Bost, Ecole Polytechnique, France
Abstract In Search of Lost TIme
Josef Widder, TU Wien
Abstract ASPfun: A Deadlock-free Calculus for Distributed Active Objects
Florian Kammüller, TU Berlin
Abstract | | 15.30 - 16.00 | Break | | 16.00 - 17.30 | Session 1.3: Execution Platform Aspects
Chair: Rolf Ernst System Desynchronisation by Unbundling Petri net steps
Sohini Dasgupta, University of Manchester, UK
Abstract Asynchronous Data Communication Mechanisms
Xia Fei, Newcastle University, UK
Abstract Parallel Programming and Compiler Construction Perspectives to the Unification of Transactional and Data-Flow Semantics
Albert Cohen, INRIA, France
Abstract Bio |
|
