Contextual Labelled Semantics for Higher-order Process Calculi

  title={Contextual Labelled Semantics for Higher-order Process Calculi},
  author={Yongjian Li},
  journal={Electr. Notes Theor. Comput. Sci.},
In this paper, we study a contextual labelled transition semantics for Higher-Order process calculi. The labelled transition semantics are relatively clean and simple, and corresponding bisimulation equivalence can be easily formulated based on it. Besides we develop a novel approach to reason about behaviours of a higher-order substituted process P{Q/X… CONTINUE READING