Computation Tree Logic for Synchronization Properties.

Krishnendu Chatterjee, Laurent Doyen

Browse the full ICALP paper archive.