Precongruence Formats for Decorated Trace Semantics

Cached

Download Links

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