On Context Bisimulation for Parameterized Higher-order Processes

Xian Xu
(East China University of Science and Technology, Shanghai, China P.R.)

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.

In Marco Carbone, Ivan Lanese, Alberto Lluch Lafuente and Ana Sokolova: Proceedings 6th Interaction and Concurrency Experience (ICE 2013), Florence, Italy, 6th June 2013, Electronic Proceedings in Theoretical Computer Science 131, pp. 37–51.
Published: 15th October 2013.

ArXived at: https://dx.doi.org/10.4204/EPTCS.131.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org