Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.

Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron

Browse the full Coordination paper archive.