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