Detecção de "deadlock" em especificações algébricas para sistemas concorrentes
Data de Publicação: | 1998 |
---|---|
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_09b62c75e81d21650f663e4679014ffe |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
title |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
spellingShingle |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
title_short |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
title_full |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
title_fullStr |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
title_full_unstemmed |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
title_sort |
Detecção de "deadlock" em especificações algébricas para sistemas concorrentes |
publishDate |
1998 |
format |
masterThesis |
author_role |
author |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO |
instname_str |
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESDetecção de "deadlock" em especificações algébricas para sistemas concorrentesDetecção de "deadlock" em especificações algébricas para sistemas concorrentesDetecção de "deadlock" em especificações algébricas para sistemas concorrentesDetecção de "deadlock" em especificações algébricas para sistemas concorrentesDetecção de "deadlock" em especificações algébricas para sistemas concorrentesDetecção de "deadlock" em especificações algébricas para sistemas concorrentesDetecção de "deadlock" em especificações algébricas para sistemas concorrentes1998masterThesisauthorUNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
_version_ |
1741887028284358656 |