Conference
Towards Quantitative Verification of Reaction Systems
Abstract
Reaction systems are a formal model for computational processes inspired by the functioning of the living cell. The key feature of this model is that its behaviour is determined by the interactions of biochemical reactions of the living cell, and these interactions are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative as there is no direct representation of the number of molecules …
Authors
Męski A; Koutny M; Penczek W
Series
Lecture Notes in Computer Science
Volume
9726
Pagination
pp. 142-154
Publisher
Springer Nature
Publication Date
2016
DOI
10.1007/978-3-319-41312-9_12
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743