A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract).

Shlomit S. Pinter, Pierre Wolper

Browse the full PODC paper archive.