A simple proof system for lock-free concurrency.

Lus Caires, Carla Ferreira, Antnio Ravara

Browse the full LICS paper archive.