Axiomatising a Linear Higher Order π-Calculus

Z. Cao (PRC)

Keywords

Concurrency, Process Calculi, Higher Order πCalculus, Bisimulation, Congruence, Algebraic Theory.

Abstract

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