Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems

David Janin 1, 2
1 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : Recent modeling experiments conducted in computational music give evidence that a number of concepts, methods and tools belonging to inverse semigroup theory can be attuned towards the concrete modeling of time-sensitive interactive systems. Further theoretical developments show that some related notions of higher-dimensional strings can be used as a unifying theme across word or tree automata theory. In this invited paper, we will provide a guided tour of this emerging theory both as an abstract theory and with a view to concrete applications.
Type de document :
Communication dans un congrès
40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2014, High Tatras, Slovakia. Springer, 8327, pp.7-20, LNCS. 〈10.1007/978-3-319-04298-5_2〉
Liste complète des métadonnées

Littérature citée [36 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00879463
Contributeur : David Janin <>
Soumis le : lundi 4 novembre 2013 - 08:48:49
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : vendredi 7 avril 2017 - 20:13:37

Fichier

RR-1477-13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

David Janin. Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. 40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2014, High Tatras, Slovakia. Springer, 8327, pp.7-20, LNCS. 〈10.1007/978-3-319-04298-5_2〉. 〈hal-00879463〉

Partager

Métriques

Consultations de la notice

345

Téléchargements de fichiers

185