Forward and backward bisimulations for chemical reaction networks

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Forward and backward bisimulations for chemical reaction networks'. Together they form a unique fingerprint.

Computer Science

Keyphrases