<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective"^^ . "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."^^ . "2016" . . . "IEEE"^^ . . . . . . . . . . . . . . . . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "Max"^^ . "Tschaikowski"^^ . "Max Tschaikowski"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . "Luca"^^ . "Cardelli"^^ . "Luca Cardelli"^^ . . . . "Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)"^^ . . . . . "New York, USA"^^ . . . . . . "Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective (PDF)"^^ . . . . . . "lics2016.pdf"^^ . . . "Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #3433 \n\nComparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .