Conference item icon

Conference item

Comparing chemical reaction networks: a categorical and algorithmic perspective

Abstract:

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 a source 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, pro...

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

Actions


Access Document


Publisher copy:
10.1145/2933575.2935318

Authors


More by this author
Institution:
University of Oxford
Oxford college:
St Anne's College
Role:
Author
More from this funder
Funding agency for:
Cardelli, L
Grant:
Research Professorship
More from this funder
Grant:
project QUANTICOL, 600708
Publisher:
Association for Computing Machinery Publisher's website
Journal:
LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science Journal website
Volume:
05-08-July-2016
Pages:
485-494
Host title:
LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Publication date:
2016-07-05
Acceptance date:
2016-04-04
DOI:
ISSN:
1043-6871
Source identifiers:
661426
ISBN:
9781450343916
Keywords:
Pubs id:
pubs:661426
UUID:
uuid:36759081-e922-4e31-96f5-427da579bd1a
Local pid:
pubs:661426
Deposit date:
2017-06-01

Terms of use


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