A Modal Logic for a Subclass of Event Structures.

Kamal Lodaya, P. S. Thiagarajan

Browse the full ICALP paper archive.