My Wish Lists Login / Join

Coordination Programming : Mechanisms, Models and Semantics

Mechanisms, Models and Semantics

By: ANDREOLI J M

Write A Review

Hardcover | 1 December 1995

At a Glance

Hardcover
396 Pages

Dimensions(cm)
22.86 x 15.24 x 3.02

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

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

The Essence of Software Engineering

Code

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Accelerate

The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

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)

Coding All-in-One For Dummies

2nd Edition

Developing Graphics Frameworks with Java and OpenGL

Refactoring 2ed

Improving the Design of Existing Code

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The C++ Programming Language

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

C# 12 in a Nutshell

The Definitive Reference

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

This product is categorised by