H-calculus : session types for hardware analysis and well-definedness
Autor(a) principal: | |
---|---|
Data de Publicação: | 2021 |
Tipo de documento: | Dissertação |
Idioma: | por |
Texto Completo: | https://repositorio.unb.br/handle/10482/42024 |
id |
UNB_90fd5ebf68ab502339bb653bc1a562b9 |
---|---|
oai_identifier_str |
oai:repositorio2.unb.br:10482/42024 |
network_name_str |
Repositório Institucional da UnB |
title |
H-calculus : session types for hardware analysis and well-definedness |
author |
Sá, Luiz Gustavo Soares de |
topic |
Design de hardware Sistemas de tipos Tipos de sessão Cálculo de processos |
publishDate |
2021 |
format |
masterThesis |
url |
https://repositorio.unb.br/handle/10482/42024 |
language |
por |
instname_str |
Universidade de Brasília (UnB) |
instacron_str |
UNB |