PDL over Accelerated Labeled Transition Systems.

Taolue Chen, Jaco van de Pol, Yanjing Wang

Browse the full TASE paper archive.