Coordination programming : mechanisms, models, and semantics /
Збережено в:
| Інші автори: | , , |
|---|---|
| Формат: | Книга |
| Мова: | English |
| Опубліковано: |
London : Singapore ; River Edge, NJ :
Imperial College Press ; Distributed by World Scientific,
c1996.
|
| Предмети: |
Зміст:
- 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.