Utilize este identificador para citar ou criar um atalho para este documento: https://hdl.handle.net/10923/22216
Registro Completo de Metadados
Campo DCValorIdioma
dc.contributor.authorAvelino Francisco Zorzo-
dc.date.accessioned2022-06-10T17:41:12Z-
dc.date.available2022-06-10T17:41:12Z-
dc.date.issued2001-
dc.identifier.urihttps://hdl.handle.net/10923/22216-
dc.language.isoen-
dc.relation.ispartofWorkshop on Concurrency in Dependable Computing, 2001, Inglaterra.-
dc.rightsopenAccess-
dc.subjectconcurrent exception handling-
dc.subjectTLA-
dc.subjectDMI-
dc.titleTLA specification of a mechanism for concurrent exception handling.-
dc.typeconferenceObject-
dc.date.updated2022-06-10T17:41:10Z-
Aparece nas Coleções:Apresentação em Evento

Arquivos neste item:
Arquivo Descrição TamanhoFormato 
TLA_specification_of_a_mechanism_for_concurrent_exception_handling.pdf1,97 MBAdobe PDFAbrir
Exibir


Todos os itens no Repositório da PUCRS estão protegidos por copyright, com todos os direitos reservados, e estão licenciados com uma Licença Creative Commons - Atribuição-NãoComercial 4.0 Internacional. Saiba mais.