Decidability of a Partial Order Based Temporal Logic.

Kamal Lodaya, P. S. Thiagarajan

Browse the full ICALP paper archive.