Forward and Backward Bisimulations for Chemical Reaction Networks

by Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin