@incollection{eprints334,
            year = {2000},
          series = {Lecture Notes in Computer Science},
           title = {Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces},
           pages = {66--80},
          volume = {1906},
          editor = {Antonio Porto and Catalin Roman},
       booktitle = {Coordination Models and Languages (COORDINATION 2000)},
          author = {Rocco De Nicola and Rosario Pugliese and Antony I. T. Rowstron},
       publisher = {Springer},
             url = {http://eprints.imtlucca.it/334/},
        abstract = {In this paper we describe the proof of an optimisation that can be applied to tuple space based run-time systems (as used in Linda). The optimisation allows, under certain circumstances, for a tuple that has been destructively removed from a shared tuple space (for example, by a Linda in) to be returned as the result for a non-destructive read (for example, a Linda rd) for a different process. The optimisation has been successfully used in a prototype run-time system.}
}