Forward and Backward Bisimulations for Chemical Reaction Networks.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Browse the full CONCUR paper archive.