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

Python Crash Course

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

The AI Con

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

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

AI for Business

A Guide to AI Adoption

Machine Learning For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

New Beginnings

why change is so difficult and how to achieve it

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Python All-in-One For Dummies

3rd Edition

The Shortest History of AI

Deep Learning for Intrusion Detection

Techniques and Applications

AI Engineering

Building Applications with Foundation Models

Artificial Intelligence, Governance and Sustainable Development

Peace, Justice and Strong Institutions

Data for Journalists

A Practical Guide for Computer-Assisted Reporting

Data for Journalists

A Practical Guide for Computer-Assisted Reporting

Becoming AI Native

Charting the Next AI Frontier

Becoming AI Native

Charting the Next AI Frontier

Red Team Evaluation Framework

Sharpening the Spear: A Framework for Forging and Measuring an Elite Adversary Emulation Team

Red Team Evaluation Framework

Sharpening the Spear: A Framework for Forging and Measuring an Elite Adversary Emulation Team

This product is categorised by