On the serializability of transactions in shared dataspaces with temporary data

Several coordination platforms based on the shared dataspace approach introduces, besides the typical Linda-like coordination primitives (used to produce, consume, and test for the presence/absence of data in a common repository), a transaction mechanism provided to group coordination primitives which should be executed in such a way that either all succeed or none of them is performed. In this paper we continue the investigation of the serializability of transactions in shared dataspace coordination languages that has been initiated in [2]. The new contribution consists of the analysis of the interplay between transactions and temporary data, ie., data with an associated expiration time.