Complétude pour les demi-anneaux et algèbres de Kleene étoile-continues avec domaine
À cause de la complexité croissante des systèmes informatiques, ces derniers sont aujourd’hui étudiés au moyen de multiples modèles et formalismes. Ainsi, il est nécessaire de développer des théories qui unifient différentes approches aafn de limiter les risques d’erreurs lorsqu’on passe d’un formal...
Main Author: | |
---|---|
Other Authors: | |
Format: | Dissertation |
Language: | French |
Published: |
Université Laval
2018
|
Subjects: | |
Online Access: | http://hdl.handle.net/20.500.11794/30666 |