Structural Operational Specifications and the Trace Automata.

ric Badouel, Philippe Darondeau

Browse the full CONCUR paper archive.