* _The &pi;-calculus_
  * [Finite &pi;-calculus][pic_two_level] overview
    * [An example of bisimulation checking for the &pi;-calculus][pic_two_level_pic]
    * [Simulation and bisimulation for the &pi;-calculus][pic_two_level_finite_pic]
    * [Simulation in the finite &pi;-calculus is a "pre-congruence"][pic_two_level_finite_pic_cong]
  * Bisimulation-up-to for the &pi;-calculus with replication
    * [Basic definitions][pic_core]
    * [Bisimulation up to bisimilarity][pic_bisim]

* _The Calculus of Communicating Systems (CCS)_
  * Bisimulation-up-to
    * [Basic definitions][ccs_core]
    * [Bisimulation up to bisimilarity][ccs_bisim] and [some examples][ccs_bisim_examples]
    * [CCS contexts are faithful][ccs_ctx]
    * [Bisimulation up to context][ccs_context]
    * [Bisimulation up to bisimilarity and context][ccs_bisim_context] and [some examples][ccs_bisim_context_examples]
  * A [two-level presentation][ccs_two_level]

[pic_two_level]: process-calculi/pic_two_level/index.html
[pic_two_level_pic]: process-calculi/pic_two_level/pic.html
[pic_two_level_finite_pic]: process-calculi/pic_two_level/finite-pic.html
[pic_two_level_finite_pic_cong]: process-calculi/pic_two_level/finite-pic-cong.html
[pic_core]: process-calculi/pic/pic_core.html
[pic_bisim]: process-calculi/pic/pic_bisim.html
[ccs_two_level]: process-calculi/ccs_two_level/ccs.html
[ccs_core]: process-calculi/ccs/ccs_core.html
[ccs_bisim]: process-calculi/ccs/ccs_bisim.html
[ccs_bisim_examples]: process-calculi/ccs/ccs_bisim_examples.html
[ccs_ctx]: process-calculi/ccs/ccs_ctx.html
[ccs_context]: process-calculi/ccs/ccs_context.html
[ccs_bisim_context]: process-calculi/ccs/ccs_bisim_context.html
[ccs_bisim_context_examples]: process-calculi/ccs/ccs_bisim_context_examples.html
