Une investigation logique des systèmes d'interaction

TEL :: [tel-00387478, version 1]
http://tel.archives-ouvertes.fr/tel-00387478/en/
Cette thèse, s'intéresse aux systèmes d'interaction, une notion visant à modéliser les interactions entre un système informatique et son environnement.
...