Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea
Forward and Backward Bisimulations for Chemical Reaction Networks.
In: 26th International Conference on Concurrency Theory (CONCUR 2015), September 1–4, 2015, Madrid, Spain
pp. 226-239.
ISSN 1868-8969.
ISBN 978-3-939897-91-0.
(2015)