Coordination Programming: Mechanisms, Models And Semantics
Will be published approx. on 1. August 1996
Book
Hardback
400 pages
978-1-86094-023-1 (ISBN)
Description
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.
More details
Language
English
Place of publication
London
United Kingdom
Target group
College/higher education
Professional and scholarly
ISBN-13
978-1-86094-023-1 (9781860940231)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Part 1 Coordination models: gamma and the chemical reaction model - ten years after, J.-P. Banatre and D. Le Metayer; coordination in LO, J.-M. Andreoli; truth and action osmosis (the TAO computation model), A. Porto and V.T. Vasconcelos; type inference and subtyping for higher-order generative communication, L. Dami. Part 2 Semantics: temporal semantics for gamma, M. Reynolds; a programme logic for gamma, S.J. Gay and C.L. Hankin; schedules for multiset transformer programmes, M. Chaudron and E. de Jong; composed reduction systems, D. Sands; an alternative semantics for the parallel operator of the calculas of gamma programmes, P. Ciancarini et al; a linear logic view of gamma style computations as proof searches, P. Bruscoli and A. Guglielmi. Part 3 Implementations, application: specifying a reflective and distributed implemenation of LO in higher order gamma, M. Bourgois; practical implications of reflection for coordination languages, M. Mourgois; Gammalog - a coordination language based on gamma and Godel, P. Ciancarini et al; coordination of distributed and parallel programmes in ConCoord, A.A. Holzbacher; gamma, chromatic typing and vegetation, H. McEvoy.