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.
Liste complète des métadonnées

Cited literature [36 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00879463
Contributor : David Janin <>
Submitted on : Monday, November 4, 2013 - 8:48:49 AM
Last modification on : Tuesday, May 29, 2018 - 9:14:04 AM
Document(s) archivé(s) le : Friday, April 7, 2017 - 8:13:37 PM

File

RR-1477-13.pdf
Files produced by the author(s)

Identifiers

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. pp.7-20, ⟨10.1007/978-3-319-04298-5_2⟩. ⟨hal-00879463⟩

Share

Metrics

Record views

349

Files downloads

194