Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373 Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3 Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9
Higher-dimensional automata (HDAs) provide a general and automata-like model for non-interleaving concurrency. Some years ago we have set out to create a proper automata theory [...]
On discutera du lien entre la partie classique du flot géodésique d'une variété riemannienne et sa partie quantique : la théorie spectrale du laplacien à haute fréquence.