Ist-2001-33234
by
Peer-To-Peer Implementation And
,
Axiomatisation Of Transactions
BibTeX
@MISC{And_ist-2001-33234,
author = {Peer-To-Peer Implementation And and Axiomatisation Of Transactions},
title = {Ist-2001-33234},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this document is part of the workpackage 1 of the PEPITO project. This workpackage aims at defining formal models for aspects of distributed computation which are central for peer-to-peer systems. Transactions fall into this category and can help to design robust and fault-tolerant distributed programs. This final report contains our results concerning the axiomatization of the properties of transactions
