Publications
Filter by
Open menu
1 result for
Rob J. Van Glabbeek
Precongruence formats for decorated trace semantics
Bard Bloom
Wan Fokkink
et al.
2004
ACM TOCL