On the Complexity of Deciding Behavioural Equivalences and Preorders
Hans Hüttel, Sandeep K. Shukla · 1996
this paper, we shall consider the equivalences that have come out of the study of interleaving semantics in the context of process calculi in the tradition of CCS [Mil80] and CSP [Hoa84]. Most of these preorders and equivalences first arose in the literature of comparative concurrency semantics [vG90a; BIM90; GV92]. In this particular area of concurrency semantics, the main emphasis is on full abstraction