%0 Book Section
%A De Nicola, Rocco
%A Pugliese, Rosario
%A Rowstron, Antony I. T.
%B Coordination Models and Languages (COORDINATION 2000)
%D 2000
%E Porto, Antonio
%E Roman, Catalin
%F eprints:334
%I Springer
%P 66-80
%S Lecture Notes in Computer Science
%T Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
%U http://eprints.imtlucca.it/334/
%V 1906
%X 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.