ETDs @PUC-Rio
| Título: | REVISITING MONITORS, AGAIN | ||
| Autor(es): |
RENAN ALMEIDA DE MIRANDA SANTOS |
||
| Orientador (es) : |
ROBERTO IERUSALIMSCHY |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | GRADUATE PROGRAM IN COMPUTER SCIENCE | ||
| Área: | PROGRAMMING LANGUAGE | ||
| Banca: |
ROBERTO IERUSALIMSCHY - PUC-RIO ANAMARIA MARTINS MOREIRA - UFRJ FRANCISCO FIGUEIREDO GOYTACAZ SANT ANNA - UERJ NOEMI DE LA ROCQUE RODRIGUEZ - AUTONOMIA HUGO MUSSO GUALANDI - UFRJ |
||
| Vocabulário: | DATA RACING FORMAL PROOF MONITOR OPERATIONAL SEMANTICS |
||
| Apresentação: | 25/ABR/2025 | ||
| Aceitação: | 25/ABR/2025 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | |||