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!
Be the first to leave a comment!