The chi calculus has two motivations: one is to simplify the
pi-calculus. The other is to materialize a process-as-proof paradigm.
In this talk, we will give a general introduction of the chi calculus
covering materials on L-bisimulation, bisimulation lattice etc.