Advertisement

BIOMICS: a Theory of Interaction Computing

  • Paolo Dini
  • Chrystopher L. Nehaniv
  • Eric Rothstein
  • Daniel Schreckling
  • Gábor Horváth
Chapter
Part of the Natural Computing Series book series (NCS)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Paolo Dini
    • 1
  • Chrystopher L. Nehaniv
    • 1
  • Eric Rothstein
    • 2
  • Daniel Schreckling
    • 2
  • Gábor Horváth
    • 3
  1. 1.Royal Society Wolfson Biocomputation Research Lab, Centre for Computer Science and Informatics ResearchUniversity of HertfordshireHatfieldUK
  2. 2.Department of Informatics and MathematicsUniversity of PassauPassauGermany
  3. 3.Department of Algebra and Number Theory, Institute of MathematicsUniversity of DebrecenDebrecenHungary

Personalised recommendations