202
click to vote
LICS
2000
IEEE
16 years 23 hour 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 ...