index - Coordination Models and Languages (COORDINATION 2018)

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 : Hosted by HAL :