Book
Enhancing reaction systems: a process algebraic approach
| العنوان: | Enhancing reaction systems: a process algebraic approach |
|---|---|
| المؤلفون: | Brodo L., Bruni R., Falaschi M. |
| المساهمون: | Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia, Brodo, L., Bruni, R., Falaschi, M. |
| بيانات النشر: | Springer Verlag CHE Cham |
| سنة النشر: | 2019 |
| المجموعة: | ARPI - Archivio della Ricerca dell'Università di Pisa |
| مصطلحات موضوعية: | Multi-party interaction, Process algebra, Reaction systems |
| الوصف: | In the area of Natural Computing, reaction systems are a qualitative abstraction inspired by the functioning of living cells, suitable to model the main mechanisms of biochemical reactions. This model has already been applied and extended successfully to various areas of research. Reaction systems interact with the environment represented by the context, and pose problems of implementation, as it is a new computation model. In this paper we consider the link-calculus, which allows to model multiparty interaction in concurrent systems, and show that it allows to embed reaction systems, by representing the behaviour of each entity and preserving faithfully their features. We show the correctness and completeness of our embedding. We illustrate our framework by showing how to embed a lac operon regulatory network. Finally, our framework can contribute to increase the expressiveness of reaction systems, by exploiting the interaction among different reaction systems. |
| نوع الوثيقة: | book part |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/978-3-030-31174-2; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-31175-9; ispartofbook:The art of modelling computational systems: a journey from logic and concurrency to security and privacy; volume:11760; firstpage:68; lastpage:85; numberofpages:18; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia; http://hdl.handle.net/11568/1029378; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075052669; https://link.springer.com/chapter/10.1007/978-3-030-31175-9_5 |
| DOI: | 10.1007/978-3-030-31175-9_5 |
| الاتاحة: | http://hdl.handle.net/11568/1029378 https://doi.org/10.1007/978-3-030-31175-9_5 https://link.springer.com/chapter/10.1007/978-3-030-31175-9_5 |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.7B428ACE |
| قاعدة البيانات: | BASE |
| DOI: | 10.1007/978-3-030-31175-9_5 |
|---|