TY  - RPRT
TI  - Forward and Backward Bisimulations for Chemical Reaction Networks
AU  - Luca Cardelli
AU  - Mirco Tribastone
AU  - Max Tschaikowski
AU  - Andrea Vandin
PY  - 2015
UR  - https://arxiv.org/abs/1507.00163
ID  - 1507.00163
ER  -