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).