Browsing Thèses et mémoires de l’Université de Montréal by Subject "well-structured transition systems"
Now showing items 1-1 of 1
-
Algorithmique et complexité des systèmes à compteurs
(2016-09-28)L'un des aspects fondamentaux des systèmes informatiques modernes, et en particulier des systèmes critiques, est la possibilité d'exécuter plusieurs processus, partageant des ressources communes, de façon simultanée. De par leur nature concurrentielle, ...