Partial Order Semantics of Types of Nets.

Robert Lorenz, Gabriel Juhs, Sebastian Mauser

Browse the full SOFSEM paper archive.