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.
Udgivelsessted | Copenhagen |
---|
Forlag | IT University of Copenhagen |
---|
Udgave | TR-2011-147 |
---|
Antal sider | 28 |
---|
ISBN (Elektronisk) | 978-87-7949.246-21 |
---|
Status | Udgivet - dec. 2011 |
---|
Udgivet eksternt | Ja |
---|
Navn | IT University Technical Report Series |
---|
Nummer | TR-2011-147 |
---|
ISSN | 1600-6100 |
---|