Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/