Parcourir Thèses et mémoires de l’Université de Montréal par sujet "well-structured transition systems"
Voici les éléments 1-1 de 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, ...