Precongruence formats for decorated trace semantics (0)

by B Bloom, W J Fokkink, R J van Glabbeek
Venue:ACM Transactions on Computational Logic