program / txt
FOCLASA 2006 — Workshop Programme
5th International Workshop on the Foundations of Coordination Languages
and Software Architectures
A satellite workshop of CONCUR 2006
Bonn (Germany) — Thursday 31 August 2006
Location: HS VIII
Organisers: Carlos Canal (Universidad de Málaga, Spain)
Mirko Viroli (Università di Bologna, Italy)
========================================================================
SESSION 1 — CHANNEL-BASED INTERACTION
09:00 - 09:30 Coordination by Timers for Channel-Based Anonymous
Communications
Gabriel Ciobanu, Cristian Prisacariu
09:30 - 10:00 Symbolic Model Checking for Channel-based Component Connectors
Sascha Klueppelholz, Christel Baier
10:00 - 10:30 Configurations of Web Service
Marco Antonio Barbosa, Luis Soarez [Soares] Barbosa
10:30 - 11:00 Coffee break
SESSION 2 — COORDINATION AND ADAPTION
11:00 - 11:30 Simulating Emergent Properties of Coordination in Maude:
the Collective Sorting Case
Matteo Casadei, Luca Gardelli, Mirko Viroli
11:30 - 12:00 Dynamic Contextual Adaptation
Antonio Brogi, Javier Camara, Carlos Canal, Javier Cubo,
Ernesto Pimentel
12:00 - 12:30 Formal ReSpecT in the A&A Perspective
Andrea Omicini
12:30 - 14:30 Lunch break
SESSION 3 — THEORY OF COMPONENT INTERACTION
14:30 - 15:00 Dynamic Transition Refinement
Michael Kohler, Heiko Rolke
15:00 - 15:30 Concurrent Logic and Automata Combined: A semantics for
Components
J. K. F. Bowles, S. Moschoyiannis
15:30 - 16:00 Q-Automata: Modelling the Resource Usage of Concurrent
Components
Tom Chothia, Jetty Kleijn
16:00 - 16:30 Coffee break
SESSION 4 — PANEL DISCUSSION
16:30 - 18:00
========================================================================
Transcribed from the CONCUR 2006 programme booklet kept locally as
conferenze/foclasa/2006/program_concur.pdf — the workshop's own site was never
updated with the programme. Titles and names are as printed there; obvious slips
are left in place with the correction in [brackets].
