1. Work supported by Esprit Working Group n.24512 COORDINA. Full version of [BGZ97c].
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
715
|
Generative communication in Linda
– Gelernter
- 1985
|
|
382
|
Coordination languages and their significance
– Gelernter, Carriero
- 1992
|
|
283
|
An Object Calculus for Asynchronous Communication
– Honda, Tokoro
- 1991
|
|
269
|
Computation: finite and infinite machines
– Minsky
- 1967
|
|
181
|
Barbed bisimulation
– Milner, Sangiorgi
- 1992
|
|
101
|
Transition system specifications with negative premises
– Groote
- 1993
|
|
83
|
On bisimulations for the asynchronous � -calculus
– Amadio, Castellani, et al.
- 1996
|
|
46
|
Asynchrony and the � -calculus
– Boudol
- 1992
|
|
45
|
1963], Computability of recursive functions
– Shepherdson, Sturgis
|
|
36
|
A Process Algebraic View of Linda Coordination Primitives. Theoretical Computer Bravetti, Gorrieri and Lucchi Science
– Busi, Gorrieri, et al.
- 1998
|
|
16
|
A Petri net semantics for ��-calculus
– Busi, Gorrieri
- 1995
|
|
16
|
On the Expressiveness of Linda Coordination Primitives
– Busi, Gorrieri, et al.
- 2000
|
|
13
|
On the turing equivalence of linda coordination primitives
– Busi, Gorrieri, et al.
- 2000
|
|
12
|
Towards a Calculus for Generative Communication
– Ciancarini, Gorrieri, et al.
- 1996
|
|
11
|
Bisimulations for asynchronous mobile processes
– Hansen, Kleist, et al.
- 1995
|
|
10
|
Three semantics of the output operation for generative communication
– Busi, Gorrieri, et al.
- 1997
|
|
9
|
An Informal Operational Semantics of C-Linda V2.3.5
– Narem
- 1990
|
|
5
|
A Truly Concurrent view of Linda Interprocess Communication
– Busi, Gorrieri, et al.
- 1997
|
|
4
|
A Causal Semantics for Contextual P/T nets
– Busi, Pinna
- 1995
|
|
1
|
JavaSpaces Specification. Available at http://java.sun.com/products/javaspaces
– Microsystem, Inc
- 1998
|
|
1
|
Available at http://www.almaden.ibm.com/cs/TSpaces
– Wyckoff, McLaughry, et al.
- 1998
|
