BIOMICS: A theory of interaction computing

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

doi:10.1007/978-3-319-65826-1_13

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 proceeding › Chapter

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.

Original language	English
Title of host publication	Computational Matter
Publisher	Springer Nature
Pages	249-268
Number of pages	20
DOIs	https://doi.org/10.1007/978-3-319-65826-1_13
Publication status	E-pub ahead of print - 20 Jul 2018

Publication series

Name	Natural Computing Series
ISSN (Print)	1619-7127

Access to Document

10.1007/978-3-319-65826-1_13Licence: Other

Cite this

@inbook{7bb67af72cde4f1a88661c52d0698832,

title = "BIOMICS: A theory of interaction computing",

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{\"o}rger and St{\"a}rk, 2003) to Abstract State Interaction Machines (ASIMs), and reached a number of intermediate objectives.",

author = "Paolo Dini and Nehaniv, {Chrystopher L.} and Eric Rothstein and Daniel Schreckling and G{\'a}bor Horv{\'a}th",

note = "{\textcopyright} Springer International Publishing AG, part of Springer Nature 2018.",

year = "2018",

month = jul,

day = "20",

doi = "10.1007/978-3-319-65826-1_13",

language = "English",

series = "Natural Computing Series",

publisher = "Springer Nature ",

pages = "249--268",

booktitle = "Computational Matter",

address = "Netherlands",

}

TY - CHAP

T1 - BIOMICS: A theory of interaction computing

AU - Dini, Paolo

AU - Nehaniv, Chrystopher L.

AU - Rothstein, Eric

AU - Schreckling, Daniel

AU - Horváth, Gábor

PY - 2018/7/20

Y1 - 2018/7/20

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

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

UR - http://www.scopus.com/inward/record.url?scp=85060482097&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-65826-1_13

DO - 10.1007/978-3-319-65826-1_13

M3 - Chapter

AN - SCOPUS:85060482097

T3 - Natural Computing Series

SP - 249

EP - 268

BT - Computational Matter

PB - Springer Nature

ER -

BIOMICS: A theory of interaction computing

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this