edited by J-M Andreoli (Rank Xerox Research Centre, France) , C Hankin (Imperial College, UK) , & D Le Métayer (INRIA/IRISA, France)

Coordination, considered abstractly, is an ubiquitous notion in computer science: for example, programming languages coordinate elementary instructions; operating systems coordinate accesses to hardware resources; database transaction schedulers coordinate accesses to shared data; etc. All these situations have some common features, which can be identified at the abstract level as “coordination mechanisms”. This book focuses on a class of coordination models where multiple pieces of software coordinate their activities through some shared dataspace. The book has three parts. Part 1 presents the main coordination models studied in this book (Gamma, LO, TAO, LambdaN). Part 2 focuses on various semantics aspects of coordination, applied mainly to Gamma. Part 3 presents actual implementations of coordination models and an application.

• Part 1: Coordination Models:
  • Gamma and the Chemical Reaction Model: Ten Years After (J-P Banâtre & D Le Métayer)
  • Coordination in LO (J-M Andreoli)
  • Truth and Action Osmosis (The TAO Computation Model) (A Porto & V T Vasconcelos)
  • Type Inference and Subtyping for Higher-Order Generative Communication (L Dami)
• Part 2: Semantics:
  • Temporal Semantics for Gamma (M Reynolds)
  • A Program Logic for Gamma (S J Gay & C L Hankin)
  • Schedules for Multiset Transformer Programs (M Chaudron & E de Jong)
  • Composed Reduction Systems (D Sands)
  • An Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs (P Ciancarini et al.)
  • A Linear Logic View of Gamma Style Computations as Proof Searches (P Bruscoli & A Guglielmi)
• Part 3: Implementations, Application:
  • Specifying a Reflective and Distributed Implementation of LO in Higher Order Gamma (M Bourgois)
  • Practical Implications of Reflection for Coordination Languages (M Bourgois)
  • Gammalög: A Coordination Language Based on Gamma and Gödel (P Ciancarini et al.)
  • Coordination of Distributed and Parallel Programs in ConCoord (A A Holzbacher)
  • Gamma, Chromatic Typing and Vegetation (H McEvoy)