TY  - RPRT
TI  - Relating Reasoning Methodologies in Linear Logic and Process Algebra
AU  - Yuxin Deng
AU  - Iliano Cervesato
AU  - Robert J. Simmons
PY  - 2012
DO  - 10.1017/s0960129514000413
UR  - https://arxiv.org/abs/1211.4100
ID  - 1211.4100
ER  -