Z. Cao (PRC)
Concurrency, Process Calculi, Higher Order π-Calculus, Bisimulation, Congruence, Algebraic Theory.
In this paper, we present an inference system for weak context congruence over a linear higher order π-calculus. To prove the soundness and completeness of the inference system, we propose a new congruence, called linear nor mal congruence, and furthermore show the equivalence be tween context congruence and linear normal congruence for such a linear higher order π-calculus.
Important Links:
Go Back
