Coordination Programming : Mechanisms, Models and Semantics

Mechanisms, Models and Semantics

By: J-M Andreoli (Editor), C Hankin (Editor), D Le Métayer (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

$195.99

30%OFF

or 4 interest-free payments of $49.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 $0.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 Software Engineering

Cloud Compliance Essentials

Build and Maintain Market Access in the B2B CSP Ecosystem

Cloud Compliance Essentials

Build and Maintain Market Access in the B2B CSP Ecosystem

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Refactoring 2ed

Improving the Design of Existing Code

C++ Programming Language (hardcover), The

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino for Dummies

Blackwell Philosophy Anthologies

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Site Reliability Engineering

How Google Runs Production Systems

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

The Engineering Leader

Strategies for Scaling Teams and Yourself

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

This product is categorised by