Model-Checking of Causality Properties

Rajeev Alur, Doron A. Peled, Wojciech Penczek

Browse the full LICS paper archive.