Structural Operational Specifications and the Trace Automata

@inproceedings{Badouel1992StructuralOS,
  title={Structural Operational Specifications and the Trace Automata},
  author={Eric Badouel and Philippe Darondeau},
  booktitle={CONCUR},
  year={1992}
}
BETA