. Space-time and .. Universality-of-field-calculus,

G. Audrito, J. Beal, and .. , Ferruccio Damiani, and Mirko Viroli Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

M. Bravetti, G. Zavattaro, and .. , Years of Coordination Technologies: State-of-the-Art and Perspectives, p.51

G. Ciatto and S. Mariani, Maxime Louvel, Andrea Omicini, and Franco Zambonelli On Multiplicities in Tuple-Based Coordination Languages

.. , The Bach Family of Languages and Its Expressiveness Study, p.81

D. Darquennes, J. Jacquet, and I. , Linden A Formal Approach to the Engineering of Domain-Specific Distributed Systems, p.110

R. De-nicola and G. Ferrari,

R. Form-for-stream-constraints and .. , 142 Kasper Dokter and Farhad Arbab Forward to a Promising Future

A. Policies-for-tuple-spaces and .. , 181 Linas Kaminskas and Alberto Lluch Lafuente Distributed Coordination Runtime Assertions for the Peer Model

). , Active Objects for Coordinating BSP Computations, p.220

G. Hains, L. Henrio, P. Leca, W. Suijlen-boosting-transactional, and .. Memory-with-stricter-serializability, , p.231

P. Sutra and P. Marlier, Valerio Schiavoni, and François Trahay From Field-Based Coordination to, Aggregate Computing, p.252

M. Viroli, J. Beal, and F. Damiani,