Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces.

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

Browse the full CONCUR paper archive.