Research Catalog

Coordination programming : mechanisms, models, and semantics

Title: Coordination programming : mechanisms, models, and semantics / editors J.-M. Andreoli, C. Hankin, D. Le Métayer.
Publication: London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific, [1996], ©1996.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	QA76.6 .C654 1996	Off-site

Additional Authors

Description

viii, 387 pages : illustrations; 23 cm

Subjects

Bibliography (note)

Contents

Gamma and the Chemical Reaction Model: Ten Years After / Jean-Pierre Banatre and Daniel Le Metayer -- Coordination in LO / Jean-Marc Andreoli -- Truth and Action Osmosis (The TAO Computation Model) / Antonio Porto and Vasco T. Vasconcelos -- Type Inference and Subtyping for Higher-Order Generative Communication / Laurent Dami -- Temporal Semantics for Gamma / Mark Reynolds -- A Program Logic for Gamma / Simon J. Gay and Chris L. Hankin -- Schedules for Multiset Transformer Programs / Michel Chaudron and Edwin de Jong -- Composed Reduction Systems / David Sands -- An Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs / Paola Ciancarini, Roberto Gorrieri and Gianluigi Zavattaro -- A Linear Logic View of Gamma Style Computations as Proof Searches / Paola Bruscoli and Alessio Guglielmi -- Specifying a Reflective and Distributed Implementation of LO in Higher-Order Gamma / Marc Bourgois --
Practical Implications of Reflection for Coordination Languages / Marc Bourgois -- Gammalog: A Coordination Language Based on Gamma and Godel / Paolo Ciancarini, Daniela Fogli and Mauro Gaspari -- Coordination of Distributed and Parallel Programs in ConCoord / Alexandra A. Holzbacher -- Gamma, Chromatic Typing and Vegetation / Hugh McEvoy.

ISBN

1860940234

LCCN

97112405

OCLC

ocm36470390

Owning Institutions

Columbia University Libraries