Asynchronous Extensions of HyperLTL.

Laura Bozzelli, Adriano Peron, Csar Snchez

Browse the full LICS paper archive.