125
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...