Axiomatising a linear higher order π-calculus

Authors:
Zining Cao
Affiliations:
Department of Computer Science and Technology, Nanjing University of Aero. & Astro., Nanjing, China
Venue:
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Year:
2007

Citing 3
Cited 0

Algebraic theories for name-passing calculi

Information and Computation
Bisimulation for higher-order process calculi

Information and Computation
Complete inference systems for weak bisimulation equivalences in the π-calculus

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

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 normal congruence, and furthermore show the equivalence between context congruence and linear normal congruence for such a linear higher order π-calculus.