Vincent CREMET

LAMP - DI - EPFL
INR 320 (Ecublens)
CH-1015 Lausanne
Switzerland / Suisse

Transactions

(16/10/2001) Seminar's slides: An axiomatization of nested transactions in presence of crash/recoveries (ps)
(18/01/2002) The calculus of transactions (ps)
(18/01/2002) Subject reduction for the calculus of transactions (ps)
(18/01/2002) Shape of normal forms in the calculus of transactions (ps)
(18/01/2002) An abstract machine for the calculus of transactions (ps)
(22/01/2002) Consistency preservation in the calculus of transactions (ps)
(04/02/2002) Slides and text for the first pepito meeting (slides) (text)
(12/02/2002) Local confluence of the calculus of transactions (ps)
(21/02/2003) Axiomatization of transactions: The draft of a paper that summarizes the results of the previous documents (ps), (tex).
(21/03/2003) An Equational Theory for Transactions.