Algebraic Characterization of Petri Net Pomset Semantics.

Harro Wimmel, Lutz Priese

Browse the full CONCUR paper archive.