Amazon cover image
Image from Amazon.com

Coordination programming mechanisms, models, and semantics / editors J.-M. Andreoli, C. Hankin, D. Le Métayer.

Contributor(s): Material type: TextTextPublication details: London : Imperial College Press ; 1996.; River Edge, NJ : Distributed by World Scientific, (c)1996.Description: 1 online resource (viii, 387 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781848161023
Subject(s): Genre/Form: LOC classification:
  • QA76 .C667 1996
Online resources: Available additional physical forms:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode
Online Book (LOGIN USING YOUR MY CIU LOGIN AND PASSWORD) Online Book (LOGIN USING YOUR MY CIU LOGIN AND PASSWORD) G. Allen Fleece Library ONLINE Non-fiction QA76.6 (Browse shelf(Opens below)) Link to resource Available ocn840416975

Includes bibliographical references.

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

COPYRIGHT NOT covered - Click this link to request copyright permission:

https://lib.ciu.edu/copyright-request-form

There are no comments on this title.

to post a comment.