Precongruence Formats for Decorated Trace Semantics

B. Bloom, W. J. Fokkink, R. J. van Glabbeek

This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats o…