Dennunzio, A., Formenti, E., & Manzoni, L. (2015). Reaction systems and extremal combinatorics properties. Theoretical Computer Science, 598, 138-149.
Abstract
Extremal combinatorics is the study of the size that a collection of objects must have in order to certainly satisfy a given property. Reaction systems are a recent formalism for computation inspired by chemical reactions. This work is a first contribution to the study of the behavior of large reaction systems by means of extremal combinatorics. We define several different properties that capture some basic and dynamical behaviors of a reaction system and we prove that they must necessarily be satisfied if the system is large enough. Explicit bounds and formulae are also provided.
Bibtex file
@article{dennunzio2015reaction,
title={Reaction systems and extremal combinatorics properties},
author={Dennunzio, Alberto and Formenti, Enrico and Manzoni, Luca},
journal={Theoretical Computer Science},
volume={598},
pages={138--149},
year={2015},
publisher={Elsevier}
}
Dennunzio, A., Formenti, E., & Manzoni, L. (2015). Reaction systems and extremal combinatorics properties. Theoretical Computer Science, 598, 138-149.
Abstract Extremal combinatorics is the study of the size that a collection of objects must have in order to certainly satisfy a given property. Reaction systems are a recent formalism for computation inspired by chemical reactions. This work is a first contribution to the study of the behavior of large reaction systems by means of extremal combinatorics. We define several different properties that capture some basic and dynamical behaviors of a reaction system and we prove that they must necessarily be satisfied if the system is large enough. Explicit bounds and formulae are also provided.
Link to the online copy
Bibtex file @article{dennunzio2015reaction, title={Reaction systems and extremal combinatorics properties}, author={Dennunzio, Alberto and Formenti, Enrico and Manzoni, Luca}, journal={Theoretical Computer Science}, volume={598}, pages={138--149}, year={2015}, publisher={Elsevier} }