TY  - RPRT
TI  - Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$
AU  - Yan Zhang
AU  - Zhaohui Zhu
AU  - Jinjin Zhang
PY  - 2015
UR  - https://arxiv.org/abs/1502.03636
ID  - 1502.03636
ER  -