TY  - BOOK
AU  - Andreoli,J.-M.
AU  - Hankin,Chris
AU  - Le Métayer,D.
AU  - 
AU  - 
TI  - Coordination programming: mechanisms, models, and semantics 
SN  - 9781848161023
AV  - QA76 .C667 1996
PY  - 1996///
CY  - London
PB  - Imperial College Press
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Electronic Books
N1  - 1; 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; 2; b
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=519144&site=eds-live&custid=s3260518
ER  -