@book{75fcc4020faa4e3393dfd46559a0acfc,
title = "Calculation in the Informatic Jungle",
abstract = "Informatics bridges Turing-computation and interactive behaviour; examples of the latter include ubiquitous/pervasive and biological systems. But how does a model of computation fit within a model of less disciplined informatic behaviour? This paper offers a precise treatment of that relationship, identifying a class of calculational bigraphical reactive systems. We show how such a system contains a confluent calculation sub-model, and how calculation only ever enables, never prevents, informatic behaviour of the larger model. We submit these results as a modest but essential beginning of a unified informatic theory.",
keywords = "bigraphical reactive systems, informatics, confluence, pervasive computing, interactive systems",
author = "S{\o}ren Debois",
year = "2011",
month = dec,
language = "English",
series = "IT University Technical Report Series",
number = "TR-2011-147",
publisher = "IT University of Copenhagen",
edition = "TR-2011-147",
}