ReLo: a Dynamic Logic to Reason About Reo Circuits

Detalhes bibliográficos
Autor(a) principal: Erick Simas Grilo
Data de Publicação: 2021
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10960214
id BRCRIS_42b4dffd7de70a7c88078ae13a9ebe8a
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv ReLo: a Dynamic Logic to Reason About Reo Circuits
title ReLo: a Dynamic Logic to Reason About Reo Circuits
spellingShingle ReLo: a Dynamic Logic to Reason About Reo Circuits
Coq
Erick Simas Grilo
title_short ReLo: a Dynamic Logic to Reason About Reo Circuits
title_full ReLo: a Dynamic Logic to Reason About Reo Circuits
title_fullStr ReLo: a Dynamic Logic to Reason About Reo Circuits
ReLo: a Dynamic Logic to Reason About Reo Circuits
title_full_unstemmed ReLo: a Dynamic Logic to Reason About Reo Circuits
ReLo: a Dynamic Logic to Reason About Reo Circuits
title_sort ReLo: a Dynamic Logic to Reason About Reo Circuits
topic Coq
publishDate 2021
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10960214
author_role author
author Erick Simas Grilo
author_facet Erick Simas Grilo
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1599662706989254
dc.contributor.advisor1.fl_str_mv Bruno Lopes Vieira
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7793315334001237
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000312040176
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL FLUMINENSE
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL FLUMINENSE
instname_str UNIVERSIDADE FEDERAL FLUMINENSE
dc.publisher.program.fl_str_mv COMPUTAÇÃO
dc.description.course.none.fl_txt_mv COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESReLo: a Dynamic Logic to Reason About Reo CircuitsReLo: a Dynamic Logic to Reason About Reo CircuitsReLo: a Dynamic Logic to Reason About Reo CircuitsReLo: a Dynamic Logic to Reason About Reo CircuitsReLo: a Dynamic Logic to Reason About Reo CircuitsReLo: a Dynamic Logic to Reason About Reo CircuitsReLo: a Dynamic Logic to Reason About Reo CircuitsCoq2021masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10960214authorErick Simas Grilohttp://lattes.cnpq.br/1599662706989254Bruno Lopes Vieirahttp://lattes.cnpq.br/7793315334001237https://orcid.org/0000000312040176UNIVERSIDADE FEDERAL FLUMINENSEUNIVERSIDADE FEDERAL FLUMINENSEUNIVERSIDADE FEDERAL FLUMINENSECOMPUTAÇÃOCOMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Grilo, Erick Simas. ReLo: a Dynamic Logic to Reason About Reo Circuits. 2021. Tese.
dc.identifier.citation.fl_str_mv Grilo, Erick Simas. ReLo: a Dynamic Logic to Reason About Reo Circuits. 2021. Tese.
_version_ 1741884624483647488

Registros relacionados