COORDINATION PROGRAMMING: MECHANISMS, MODELS AND SEMANTICS

COORDINATION PROGRAMMING: MECHANISMS, MODELS AND SEMANTICS book cover

COORDINATION PROGRAMMING: MECHANISMS, MODELS AND SEMANTICS

Author(s): Jean-Marc Andreoli (Editor), Department of Computing Chris Hankin (Editor), D Le Metayer (Editor)

  • Publisher: Imperial College Press
  • Publication Date: August 1, 1996
  • Language: English
  • Print length: 400 pages
  • ISBN-10: 1860940234
  • ISBN-13: 9781860940231

Book 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.

Editorial Reviews

From the Publisher

Published by Imperial Colldge Press and distributed by World Scientific Publishing Co.

View on Amazon

电子书代发PDF格式价格30我要求助
未经允许不得转载:Wow! eBook » COORDINATION PROGRAMMING: MECHANISMS, MODELS AND SEMANTICS