On the greatest solution of equations in CLLRCLLR

• In CLLRCLLR, for t with strongly guarded X  , solutions of X=tX=t are explored further.
• Recursive processes are characterized as the greatest solutions of equations.
• 〈X|X=t〉〈X|X=t〉 is consistent iff consistent solutions of the equation X=tX=t exist.
• Unique solution theorem no longer holds if X may occur in conjuncts.

It is shown that, a recursive equation X=RStXX=RStX in the LLTS-oriented process calculus CLLRCLLR may have more than one consistent solution when X   occurs in the scope of a conjunction in tXtX, and the recursive term 〈X|X=tX〉〈X|X=tX〉 is the greatest solution of this equation w.r.t. Lüttgen and Vogler's ready simulation whenever X   is strongly guarded in tXtX.