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

Abstract

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$, $⟨X|X=t_X⟩$ is the largest solution w.r.t ${⊑}_{RS}$. Second, we encode a fragment of action-based CTL in ${\text{CLL}}_R$.

13 pages. arXiv admin note: text overlap with arXiv:1301.3350