relation: http://eprints.imtlucca.it/334/
title: Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
creator: De Nicola, Rocco
creator: Pugliese, Rosario
creator: Rowstron, Antony I. T.
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Porto, Antonio
contributor: Roman, Catalin
date: 2000
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T.  Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.   In:  Coordination Models and Languages (COORDINATION 2000).   Lecture Notes in Computer Science, 1906 .  Springer, pp. 66-80.  ISBN 3-540-41020-1      (2000)  
relation: http://dx.doi.org/10.1007/3-540-45263-X_5
relation: 10.1007/3-540-45263-X_5