Comparing Chemical Reaction Networks

DOI10.1145/2933575.2935318zbMath1392.68188OpenAlexW2409237074WikidataQ56981820 ScholiaQ56981820MaRDI QIDQ4635906

Andrea Vandin, Luca Cardelli, Max Tschaikowski, Mirco Tribastone

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2933575.2935318

zbMATH Keywords

ordinary differential equationsbisimulationmodel comparisonchemical reaction networks

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (6)

Reducing Boolean networks with backward Boolean equivalence ⋮ Verifying chemical reaction network implementations: a bisimulation approach ⋮ Comparing chemical reaction networks: a categorical and algorithmic perspective ⋮ Approximate constrained lumping of polynomial differential equations ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Symbolic computation of differential equivalences

This page was built for publication: Comparing Chemical Reaction Networks