Contextual Labelled Semantics for Higher-order Process Calculi

@article{Li2005ContextualLS,
  title={Contextual Labelled Semantics for Higher-order Process Calculi},
  author={Yongjian Li},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2005},
  volume={138},
  pages={61-77}
}
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