Coordination Programming : Mechanisms, Models and Semantics

Mechanisms, Models and Semantics

By: Jean-Marc Andreoli (Editor), Chris Hankin (Editor), D. le Metayer (Editor)

Write A Review

Hardcover | 1 December 1995

At a Glance

Hardcover
400 Pages

Dimensions(cm)
22.86 x 16.51 x 3.18

Hardcover

RRP $279.99

$251.99

10%OFF

or 4 interest-free payments of $63.00 with

Ships in 15 to 25 business days

Coordination, considered abtractly, 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Hardware Supercomputers Software Engineering Computer Science Booktopia Publisher Services World Scientific Publishing

Preface
Gamma and the Chemical Reaction Model: Ten Years After	p. 3
Coordination in LO	p. 42
Truth and Action Osmosis (The TAO Computation Model)	p. 65
Type Inference and Subtyping for Higher-Order Generative Communication	p. 98
Temporal Semantics for Gamma	p. 141
A Program Logic for Gamma	p. 171
Schedules for Multiset Transformer Programs	p. 195
Composed Reduction Systems	p. 211
An Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs	p. 232
A Linear Logic View of Gamma Style Computations as Proof Searches	p. 249
Specifying a Reflective and Distributed Implementation of LO in Higher-Order Gamma	p. 277
Practical Implications of Reflection for Coordination Languages	p. 300
Gammalog: A Coordination Language Based on Gamma and Godel	p. 323
Coordination of Distributed and Parallel Programs in ConCoord	p. 349
Gamma, Chromatic Typing and Vegetation	p. 368
Table of Contents provided by Blackwell. All Rights Reserved.

Coordination Programming : Mechanisms, Models and Semantics

Mechanisms, Models and Semantics

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The Tech Coup

How to Save Democracy from Silicon Valley

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

Creative Machines

AI, Art & Us

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Python All-in-One For Dummies

3rd Edition

Empire of AI

Inside the reckless race for total domination

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

The Shortest History of AI

Metaheuristics in Engineering Applications

Advances in Metaheuristics

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Data Analytics and Learning

Proceedings of DAL 2024

Sustainable Technologies for Transforming Businesses and Societies

The Keynote Lectures of the 6th International Conference on Entrepreneurship, Innovation and Leadership (ICEIL 2024)

Artificial Intelligence in Biomaterials Design and Development

Woodhead Publishing Series in Biomaterials

Artificial Intelligence over Infrared Images for Medical Applications

4th International Conference, AIIIMA 2025, Virtual Event, November 15, 2025, Proceedings

Knowledge Science, Engineering and Management

18th International Conference, KSEM 2025, Macao, China, August 4-7, 2025, Proceedings, Part I

The Art of Game Design

A Book of Lenses, Third Edition

Life 3.0

Being Human in the Age of Artificial Intelligence

This product is categorised by