Companion.prelim
Companion.companion
Companion.companion_rel
Companion.companion_mu
Companion.ccs_rep_lang
Companion.ccs_rep_bisim
Companion.fin
Companion.ccs_mu_syn
Companion.ccs_mu_sem
Companion.ccs_mu_bisim
- Bisimilarity in CCS with Recursive Processes
- Open Bisimulation
- Monotonicity of the definitions
- Lemma 25
- Boilerplate
- (Open) Relative Bisimilarity is an Equivalence Relation
- Compatibility with Act/Sum/Par/New
- Compatibility with Fixed Points and Instantiation
- Theorem 28: Open Relative Bisimilarity is a Congruence
- Theorem 29: Open Relative Bisimilarity is Compatible with Instantiation