Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Browse the full LICS paper archive.