Detecção de "deadlock" em especificações algébricas para sistemas concorrentes

Detalhes bibliográficos
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