Abstract
This chapter provides a summary of the results of the BIOMICS project, specifically from the point of view of the development of a mathematical framework that can support a productive collaboration between cell biochemistry, dynamical systems, algebraic automata theory, and specification languages, leading to a theory of Interaction Computing (IC).
The main objective of the BIOMICS project was to map the spontaneous order-construction ability of cellular biochemistry to computer science in the form of a new model of computation that we call Interaction Computing. The project did not achieve this objective, but it lay the groundwork for developing a mathematical theory of IC, it developed a computational framework that can support IC based on an extension of Abstract State Machines (ASMs) (Börger and Stärk, 2003) to Abstract State Interaction Machines (ASIMs), and reached a number of intermediate objectives.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Dini, P., Nehaniv, C.L., Rothstein, E., Schreckling, D., Horváth, G. (2018). BIOMICS: a Theory of Interaction Computing. In: Stepney, S., Rasmussen, S., Amos, M. (eds) Computational Matter. Natural Computing Series. Springer, Cham. https://doi.org/10.1007/978-3-319-65826-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-65826-1_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65824-7
Online ISBN: 978-3-319-65826-1
eBook Packages: Computer ScienceComputer Science (R0)