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 Power BI For Dummies

For Dummies (Computer/Tech)

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

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

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

What Art Is Now

Creativity in the Age of AI

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Agentic AI For Dummies

For Dummies (Computer/Tech)

A Cultural History of Computer Graphics

Human-Centered Solutions through Human-Computer Interaction

From Healthcare to Smart Environments

AI in Business For Dummies

For Dummies (Business & Personal Finance)

AI Powered B2B Marketing

Develop AI Enabled Strategies and Practices for Maximum Impact

MRI in Practice

5th Edition

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

This product is categorised by