Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2

First Page		Document Content
Date: 2015-12-18 06:55:14 Symbol Constructible universe		Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2 Add to Reading List Source URL: pages.di.unipi.it Download Document from Source Website File Size: 202,62 KB Share Document on Facebook