Searching for "Precongruence Formats for Decorated Trace Semantics" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Precongruence Formats for Decorated Trace Semantics
by Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
…Precongruence Formats for Decorated Trace Semantics BARD BLOOM IBM T.J. Watson Research Center WAN…
Cited by 9 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB