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.Contents: 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)Readership: Researchers and students in supercomputing, parallel processing and computer science.
