Journal article icon

Journal article

Comparing chemical reaction networks: A categorical and algorithmic perspective

Abstract:

We study chemical reaction networks (CRNs) as a kernel model of concurrency provided with semantics based on ordinary differential equations. We investigate the problem of comparing two CRNs, i.e., to decide whether the solutions of a source and of a target CRN can be matched for an appropriate choice of initial conditions. Using a categorical framework, we extend and unify model-comparison approaches based on dynamical (semantic) and structural (syntactic) properties of CRNs. Then, we provid...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1016/j.tcs.2017.12.018

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
St Annes College
Role:
Author
ORCID:
0000-0002-8705-8488
More from this funder
Funding agency for:
Cardelli, L
More from this funder
Grant:
QUANTICOL, 600708
Publisher:
Elsevier Publisher's website
Journal:
Theoretical Computer Science Journal website
Volume:
765
Pages:
47-66
Publication date:
2017-12-18
Acceptance date:
2017-10-27
DOI:
ISSN:
0304-3975
Pubs id:
pubs:813818
URN:
uri:c386e81c-52ce-46ff-b8ee-67fb04a79081
UUID:
uuid:c386e81c-52ce-46ff-b8ee-67fb04a79081
Local pid:
pubs:813818

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP