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 a source CRN can be matched by a target CRN under an appropria...
| Asıl Yazarlar: | , , , |
|---|---|
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
Association for Computing Machinery
2016
|