Sciweavers

Share
CORR
2002
Springer

Precongruence Formats for Decorated Trace Semantics

8 years 8 months ago
Precongruence Formats for Decorated Trace Semantics
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where CORR
Authors Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
Comments (0)
books