Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/