Using Events Structures for the Efficient Analysis of State Graphs (Abstract).

Dominique Ambroise, Brigitte Rozoy

Browse the full PODC paper archive.