Reachability Types, Traces and Full Abstraction.

Benedict Bunting, Andrzej S. Murawski

Browse the full LICS paper archive.