Spatio-temporal domains: an overview
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...