Concurrency : Higher Dimension Automata
My goal is to provide verification for models of concurrency, as higher dimensional (timed) automata (HDA/HDTA).
This model is based on automata and events can happen in parallel (true concurrency).
My research focus are on :
Collaborators :
Amazigh Amrane,
Hugo Bazille,
Enzo Erlich,
Uli Fahrenberg,
Marie Fortin,
Jérémy Ledent,
Philipp Schlehuber-Caissier,
Krzysztof Ziemiański