×

A tour of reaction systems. (English) Zbl 1252.68115

Summary: Reaction systems are a formal framework for investigating processes carried out by biochemical reactions. This paper is an introduction to reaction systems. It provides basic notions together with the underlying intuition and motivation as well as two examples (a binary counter and transition systems) of “programming” with reaction systems. It also provides a tour of some research themes.

MSC:

68Q05 Models of computation (Turing machines, etc.) (MSC2010)
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] DOI: 10.1007/978-3-642-20000-7_16 · Zbl 1330.68068 · doi:10.1007/978-3-642-20000-7_16
[2] Brijder R., Electron. Commun. EASST 30
[3] Ehrenfeucht A., Fundamenta Informaticae 76 pp 1–
[4] DOI: 10.1016/j.tcs.2007.01.008 · Zbl 1119.93011 · doi:10.1016/j.tcs.2007.01.008
[5] DOI: 10.1016/j.tcs.2008.09.043 · Zbl 1156.93306 · doi:10.1016/j.tcs.2008.09.043
[6] DOI: 10.1007/978-3-642-14455-4_1 · Zbl 1250.68108 · doi:10.1007/978-3-642-14455-4_1
[7] Ehrenfeucht A., Int. J. Found. Comput. Sci. 22 pp 345–
[8] Ehrenfeucht A., Int. J. Found. Comput. Sci. 22 pp 161–
[9] Knuth D. E., Fundamental Algorithms 1 (1968) · Zbl 0191.17903
[10] DOI: 10.1007/3-540-65306-6_14 · doi:10.1007/3-540-65306-6_14
[11] Schlosser G., Modularity in Development and Evolution (2004)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.