TY - RPRT TI - Syntactic Markovian Bisimulation for Chemical Reaction Networks AU - Luca Cardelli AU - Mirco Tribastone AU - Max Tschaikowski AU - Andrea Vandin PY - 2017 UR - https://arxiv.org/abs/1707.02132 ID - 1707.02132 ER -