It is shown that, for any equation X=RStX in the LLTS-oriented process calculus CLLR, if X is strongly guarded in tX, then the recursive term ⟨X∣X=tX⟩ is the greatest solution of this equation w.r.t L\"{u}ttgen and Vogler's ready simulation.
@article{arxiv.1502.03629,
title = {On the greatest solution of equations in $\text{CLL}_R$},
author = {Yan Zhang and Zhaohui Zhu and Jinjin Zhang},
journal= {arXiv preprint arXiv:1502.03629},
year = {2015}
}
Comments
9 pages. arXiv admin note: text overlap with arXiv:1411.0756