Axiomatising a Linear Higher Order π-Calculus

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