Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces.

Anca Muscholl, Doron A. Peled

Browse the full MFCS paper archive.