2 search results - page 1 / 1 » Precongruence Formats for Decorated Trace Semantics |
CORR
2002
Springer
15 years 2 months ago
2002
Springer
118
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...