Precongruence Formats for Decorated Trace Semantics

View PDF

Download Links

by Bard Bloom , Wan Fokkink , Rob J. van Glabbeek
Citations:24 - 4 self