Fully abstract trace semantics for low-level isolation mechanisms.

Marco Patrignani, Dave Clarke

Browse the full SAC paper archive.