Forward and backward bisimulations for chemical reaction networks (2015)

by L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Venue:In CONCUR