R.: Precongruence formats for decorated trace semantics (2004)

by B Bloom, W Fokkink, van Glabbeek
Venue:ACM TOCL