BIOMICS: a Theory of Interaction Computing
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.
Unable to display preview. Download preview PDF.