Correctness in General Configurations of Transactional Components.

Gustavo Alonso, Armin Fessler, Guy Pardon, Hans-Jrg Schek

Browse the full PODS paper archive.