Precongruence Formats for Decorated Trace Preorders.

Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek

Browse the full LICS paper archive.