Coordination Programming: Mechanisms, Models and Semantics
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By PUBLISHED BY IMPERIAL COLLEGE PRESS AND DISTRIBUTED BY WORLD SCIENTIFIC PUBLISHING CO.

9781860940231, 9781848161023

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PRACTICAL IMPLICATIONS OF REFLECTION FOR COORDINATION LANGUAGES

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0012 ◽

1996 ◽

pp. 300-322

Author(s):

Marc Bourgois

Keyword(s):

Coordination Languages ◽

Practical Implications

Download Full-text

GAMMALÖG: A COORDINATION LANGUAGE BASED ON GAMMA AND GÖDEL

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0013 ◽

1996 ◽

pp. 323-348 ◽

Author(s):

P. Ciancarini ◽

D. Fogli ◽

M. Gaspari

Keyword(s):

Coordination Language

Download Full-text

SPECIFYING A REFLECTIVE AND DISTRIBUTED IMPLEMENTATION OF LO IN HIGHER-ORDER GAMMA

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0011 ◽

1996 ◽

pp. 277-299 ◽

Author(s):

Marc Bourgois

Keyword(s):

Higher Order ◽

Distributed Implementation

Download Full-text

COORDINATION OF DISTRIBUTED AND PARALLEL PROGRAMS IN CONCOORD

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0014 ◽

1996 ◽

pp. 349-367 ◽

Author(s):

A. A. HOLZBACHER

Keyword(s):

Parallel Programs

Download Full-text

GAMMA AND THE CHEMICAL REACTION MODEL: TEN YEARS AFTER

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0001 ◽

1996 ◽

pp. 3-41 ◽

Author(s):

J.-P. BANÂTRE ◽

D. LE MÉTAYER

Keyword(s):

Chemical Reaction ◽

Reaction Model ◽

Chemical Reaction Model

Download Full-text

Temporal Semantics for Gamma

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0005 ◽

1996 ◽

pp. 141-170 ◽

Author(s):

Mark Reynolds

Keyword(s):

Temporal Semantics

Download Full-text

COORDINATION IN LO

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0002 ◽

1996 ◽

pp. 42-64 ◽

Author(s):

Jean-Marc Andreoli

Download Full-text

AN ALTERNATIVE SEMANTICS FOR THE PARALLEL OPERATOR OF THE CALCULUS OF GAMMA PROGRAMS

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0009 ◽

1996 ◽

pp. 232-248 ◽

Author(s):

P. CIANCARINI ◽

R. GORRIERI ◽

G. ZAVATTARO

Keyword(s):

Alternative Semantics ◽

Parallel Operator

Download Full-text

FRONT MATTER

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_fmatter ◽

1996 ◽

pp. i-viii

Author(s):

J. -M. Andreoli ◽

C. Hankin ◽

D. Le Métayer

Download Full-text

COMPOSED REDUCTION SYSTEMS

Coordination Programming: Mechanisms, Models and Semantics ◽

10.1142/9781848161023_0008 ◽

1996 ◽

pp. 211-231 ◽

Author(s):

DAVID SANDS

Download Full-text