Calculation in the Informatic Jungle

Søren Debois

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

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.
OriginalsprogEngelsk
UdgivelsesstedCopenhagen
ForlagIT University of Copenhagen
UdgaveTR-2011-147
Antal sider28
ISBN (Elektronisk)978-87-7949.246-21
StatusUdgivet - dec. 2011
Udgivet eksterntJa
NavnIT University Technical Report Series
NummerTR-2011-147
ISSN1600-6100

Fingeraftryk

Dyk ned i forskningsemnerne om 'Calculation in the Informatic Jungle'. Sammen danner de et unikt fingeraftryk.

Citationsformater