Linking Theories of Concurrency
In the study of CCS and related process calculi, there are two standard approaches to the definition of similarity or equivalence of processes. The first is bisimulation, an equivalence relation based on the structural operational semantics of the calculus. It has simulation as an asymmetric variant. The second is refinement, an ordering defined as inclusion of the sets of observations that may be made of the behaviour of each process. The original forms of bisimulation (strong and weak) were intended to give the strongest reasonable definition of process expressions.This paper shows how to define a process calculus in which the concepts of simulation and refinement coincide with each other : thus the combined benefits of two approaches are available uniformly to all applications.
calculi simulation CCS
He Jifeng Tony Hoare
国内会议
北京
英文
31-42
2004-06-01（万方平台首次上网日期，不代表论文的发表时间）