Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence
Les concepts d'action et de ressource sont omniprésents en informatique. La caractéristique principale d'une action est de changer l'état actuel du système modélisé. Une action peut ainsi être l'exécution d'une instruction dans un programme, l'apprentissage d'un fa...
Main Author: | Boudou, Joseph |
---|---|
Other Authors: | Toulouse 3 |
Language: | en |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016TOU30145/document |
Similar Items
-
Modal memory logics
by: Mera, Sergio Fernando
Published: (2009) -
La manière d'une modalité : une analyse logique et philosophique de la modalité d'ordre supérieur
by: Kennedy, Neil
Published: (2011) -
Quelques contributions en logique mathématique et en théorie des automates
by: Dahmoune, Mohamed
Published: (2014) -
Structures multi-contextuelles et logiques modales intuititionnistes et hybrides
by: Salhi, Yakoub
Published: (2010) -
Analyse de la structure logique des inférences légales et modélisation du discours juridique
by: Peterson, Clayton
Published: (2014)