relation: http://eprints.imtlucca.it/3433/
title: Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective
creator: Cardelli, Luca
creator: Tribastone, Mirco
creator: Tschaikowski, Max
creator: Vandin, Andrea
subject: QA75 Electronic computers. Computer science
description: We study chemical reaction networks (CRNs) as a kernel language for concurrency models with semantics based on ordinary differential equations. We investigate the problem of comparing two CRNs,i.e., to  decide  whether  the  trajectories  of  asource CRN  can  be matched  by  a target CRN  under  an  appropriate  choice  of  initial conditions. Using a categorical framework, we extend and relate model-comparison approaches based on structural (syntactic) and on dynamical (semantic) properties of a CRN, proving their equivalence. Then, we provide an algorithm to compare CRNs, running linearly in time with respect to the cardinality of all possible comparisons. Finally, we apply our results to biological models from the literature.
publisher: IEEE
date: 2016
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nc
identifier: http://eprints.imtlucca.it/3433/1/lics2016.pdf
identifier:   Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea  Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective.  In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA       (In Press)   (2016)