Département d'Informatique
Laboratoire des Méthodes de Programmation
(
LAMP
)
Vincent CREMET
Assistant-doctorant
LAMP - DI - EPFL
INR 320 (Ecublens)
CH-1015 Lausanne
Switzerland / Suisse
Email:
vincent.cremet@epfl.ch
Tél.:
+41 (21) 693 68 67
Fax:
+41 (21) 693 66 60
Bureau:
INR 320
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
.