Table of Contents
|
Coordination Models and Languages
Giovanna Di Marzo Serugendo, Michele Loreti |
Front Matter |
Space-Time Universality of Field Calculus
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli |
1-20 |
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory
Mario Bravetti, Gianluigi Zavattaro |
21-50 |
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli |
51-80 |
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden |
81-109 |
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi |
110-141 |
Rule-Based Form for Stream Constraints
Kasper Dokter, Farhad Arbab |
142-161 |
Forward to a Promising Future
Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo |
162-180 |
Aggregation Policies for Tuple Spaces
Linas Kaminskas, Alberto Lluch Lafuente |
181-199 |
Distributed Coordination Runtime Assertions for the Peer Model
Eva Kühn, Sophie Radschek, Nahla Elaraby |
200-219 |
Active Objects for Coordinating BSP Computations (Short Paper)
Gaetan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen |
220-230 |
Boosting Transactional Memory with Stricter Serializability
Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay |
231-251 |
From Field-Based Coordination to Aggregate Computing
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini |
252-279 |
|
