2 search results - page 1 / 1 » Precongruence Formats for Decorated Trace Semantics |
CORR
2002
Springer
13 years 4 months ago
2002
Springer
LICS
2000
IEEE
13 years 9 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 ...