Reificação de Objetos Concorrentes Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

tipo

• doctoral thesis

autores

• Paulo Fernando Blauth Menezes

data de publicação

• 1996-01-01

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas
• Teoria das Categorias

palavras-chave

• Autômato Não-Sequencial
• Category Theory
• Concorrência
• Reificação
• Semântica Formal
• Teoria das Categorias

Identidade

identificador BrCris

• f1d4a6e040d7bd2ad39c6e5fd2ed283d