H-calculus : session types for hardware analysis and well-definedness
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.
| Main Author: | Sá, Luiz Gustavo Soares de |
|---|---|
| Other Authors: | Jacobi, Ricardo Pezzuol |
| Format: | Dissertação |
| Language: | Português |
| Published: |
2021
|
| Subjects: | |
| Online Access: |
https://repositorio.unb.br/handle/10482/42024 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|