TY - CHAP

T1 - BIOMICS: A theory of interaction computing

AU - Dini, Paolo

AU - Nehaniv, Chrystopher L.

AU - Rothstein, Eric

AU - Schreckling, Daniel

AU - Horváth, Gábor

N1 - © Springer International Publishing AG, part of Springer Nature 2018.

PY - 2018/7/20

Y1 - 2018/7/20

N2 - This chapter provides a summary of the results of the BIOMICS project1, 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.

AB - This chapter provides a summary of the results of the BIOMICS project1, 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.

UR - http://www.scopus.com/inward/record.url?scp=85060482097&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-65826-1_13

DO - 10.1007/978-3-319-65826-1_13

M3 - Chapter

AN - SCOPUS:85060482097

T3 - Natural Computing Series

SP - 249

EP - 268

BT - Computational Matter

PB - Springer Nature

ER -