Coordination programming : mechanisms, models and semantics

著者

• Andreoli, J. -M.
• Hankin, Chris
• Le Métayer, D. (Daniel)

書誌事項

Coordination programming : mechanisms, models and semantics

editors, J. -M. Andreoli, C. Hankin, D. Le Métayer

Imperial College Press, c1996

注記

Includes bibliographical references

内容説明・目次

内容説明

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

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA29671737
• ISBN:
  • 1860940234
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: viii, 387 p.
• 大きさ: 23 cm