Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.

Laura Bozzelli, Adriano Peron, Csar Snchez

Browse the full CONCUR paper archive.