BIOMICS: A theory of interaction computing

Paolo Dini, Chrystopher L. Nehaniv, Eric Rothstein, Daniel Schreckling, Gábor Horváth

Research output: Chapter in Book/Report/Conference proceedingChapter


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.

Original languageEnglish
Title of host publicationComputational Matter
PublisherSpringer Nature
Number of pages20
Publication statusE-pub ahead of print - 20 Jul 2018

Publication series

NameNatural Computing Series
ISSN (Print)1619-7127


Dive into the research topics of 'BIOMICS: A theory of interaction computing'. Together they form a unique fingerprint.

Cite this