University of Hertfordshire

BIOMICS: A theory of interaction computing

Research output: Chapter in Book/Report/Conference proceedingChapter

View graph of relations
Original languageEnglish
Title of host publicationComputational Matter
PublisherSpringer Verlag
Pages249-268
Number of pages20
DOIs
Publication statusE-pub ahead of print - 20 Jul 2018

Publication series

NameNatural Computing Series
ISSN (Print)1619-7127

Abstract

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.

Notes

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

ID: 17008957