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. 
<br/><br/>Includes bibliographical references. 
<br/><br/> 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 
<br/><br/>
<br/><br/><label>ISBN: </label>9781848161023 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Programming languages (Electronic computers)--Semantics.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic Books.
<br/><br/><label>LC Class. No.: </label>QA76  / .C667 1996