Partial Order Logics for Elementary Net Systems: State- and Event-approaches.

Antonia Sinachopoulos

Browse the full CONCUR paper archive.