Greatest solutions of equations in ${\text{CLL}}_R$ and its application

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

This paper explores the process calculus ${\text{CLL}}_R$ furtherly. First, we prove that for any equation $X{=}_{RS}{t}_X$ such that $X$ is strongly guarded in $t_X$, $\langle X|X=t_X…