@misc{indiciaea56bac41bf3f,
  title = {Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in \$\textbackslash{}text\{CLL\}\_R\$},
  author = {Yan Zhang and Zhaohui Zhu and Jinjin Zhang},
  year = {2015},
  url = {https://arxiv.org/abs/1502.03636},
  note = {Source identifier: 1502.03636}
}