Safety and Liveness in Branching Time.

Panagiotis Manolios, Richard J. Trefler

Browse the full LICS paper archive.