1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Utilize este identificador para citar ou criar um atalho para este documento: https://hdl.handle.net/10923/22216
Tipo: conferenceObject
Título: TLA specification of a mechanism for concurrent exception handling.
Autor(es): Avelino Francisco Zorzo
In: Workshop on Concurrency in Dependable Computing, 2001, Inglaterra.
Data de Publicação: 2001
Palavras-chave: concurrent exception handling
TLA
DMI
URI: https://hdl.handle.net/10923/22216
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
Ver em formato completo Ver estatísticas Busque outras versões desse texto via SFX


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.