Completeness for domain semirings and star-continuous Kleene algebras with domain
Due to their increasing complexity, today’s computer systems are studied using multiple models and formalisms. Thus, it is necessary to develop theories that unify different approaches in order to limit the risks of errors when moving from one formalism to another. It is in this context that monoids...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | English |
| Published: |
Université Laval
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/33008 |