2013/10/17 by Xian Xu
Computer Science · #cs.LO #cs.GT
paper · pdf · doi:10.4204/eptcs.131.5
published as EPTCS 131, 2013, pp. 37-51 · In Proceedings ICE 2013, arXiv:1310.4019
arxiv created 2013/10/17 · arxiv updated 2013/10/18
This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes with process parameterization retains the characterization of context bisimulation by a much simpler form of bisimulation called normal bisimulation (viz. they are coincident), in which universal quantifiers are eliminated; whereas it is not the same with name parameterization. These results clarify further the bisimulation theory of higher-order processes, and also shed light on the essential distinction between the two kinds of parameterization.