Digital Symposium Collection 2000
Guy Pardon
Correctness in General Configurations of Transactional Components
Publications
Note: Links lead to the DBLP on the Web.
Guy Pardon
2
Gustavo Alonso
,
Armin Fessler
, Guy Pardon,
Hans-Jörg Schek
: Transactions in Stack, Fork, and Join Composite Systems.
ICDT 1999
: 150-168
1
Gustavo Alonso
,
Armin Fessler
, Guy Pardon,
Hans-Jörg Schek
: Correctness in General Configurations of Transactional Components.
PODS 1999
: 285-293
Copyright(C) 2000 ACM