On the greatest solution of equations in ${\text{CLL}}_R$

Abstract

It is shown that, for any equation $X{=}_{RS}{t}_X$ in the LLTS-oriented process calculus ${\text{CLL}}_R$, if $X$ is strongly guarded in $t_X$, then the recursive term $⟨X|X=t_X⟩$ is the greatest solution of this equation w.r.t Lüttgen and Vogler's ready simulation.

arXiv comment9 pages. arXiv admin note: text overlap with arXiv:1411.0756