Spatio-temporal domains: an overview - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

Spatio-temporal domains: an overview

David Janin

Résumé

We consider the possibility of defining a general mathematical framework for the homogeneous modeling of heterogeneous spatio-temporal computations as they more and more occur in modern computerized systems of systems. It appears that the notion of element categories of certain sheaves over cpos, called timed domains, and their associated transformations eventually provide a fully featured category for such a purpose that extends to space and time the category of cpos and continuous functions used in classical denotational semantics.
Fichier principal
Vignette du fichier
TimedDomain.pdf (577.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01634897 , version 1 (14-11-2017)
hal-01634897 , version 2 (17-07-2018)

Identifiants

  • HAL Id : hal-01634897 , version 2

Citer

David Janin. Spatio-temporal domains: an overview. 2018. ⟨hal-01634897v2⟩

Collections

CNRS
227 Consultations
418 Téléchargements

Partager

Gmail Facebook X LinkedIn More