Normal view MARC view ISBD view

Coordination programming mechanisms, models, and semantics / editors J.-M. Andreoli, C. Hankin, D. Le Métayer. - London : Imperial College Press ; 1996. River Edge, NJ : Distributed by World Scientific, (c)1996. - 1 online resource (viii, 387 pages) : illustrations.

Includes bibliographical references.

Gamma and the Chemical Reaction Model: Ten Years After / Coordination in LO / Truth and Action Osmosis (The TAO Computation Model) / Type Inference and Subtyping for Higher-Order Generative Communication / Temporal Semantics for Gamma / A Program Logic for Gamma / Schedules for Multiset Transformer Programs / Composed Reduction Systems / An Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs / Jean-Pierre Banatre and Daniel Le Metayer -- Jean-Marc Andreoli -- Antonio Porto and Vasco T. Vasconcelos -- Laurent Dami -- Mark Reynolds -- Simon J. Gay and Chris L. Hankin -- Michel Chaudron and Edwin de Jong -- David Sands -- Paola Ciancarini, Roberto Gorrieri and Gianluigi Zavattaro



ISBN: 9781848161023

Subjects--Topical Terms:
Computer programming.
Programming languages (Electronic computers)--Semantics.

Index Terms--Genre/Form:
Electronic Books.

LC Class. No.: QA76 / .C667 1996