<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces"^^ . "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."^^ . "2000" . "1906" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Catalin"^^ . "Roman"^^ . "Catalin Roman"^^ . . "Antony I. T."^^ . "Rowstron"^^ . "Antony I. T. Rowstron"^^ . . "Antonio"^^ . "Porto"^^ . "Antonio Porto"^^ . . . . . "HTML Summary of #334 \n\nProving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .