Languages and Logical Definability in Concurrency Monoids.

Manfred Droste, Dietrich Kuske

Browse the full CSL paper archive.