Model-checking for a subclass of event structures (1997)

by W Penczek
Venue:TACAS, LNCS 1217