1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Capítulo de Livro
Utilize este identificador para citar ou criar um atalho para este documento: https://hdl.handle.net/10923/22179
Tipo: bookPart
Título: TLA Specification of a Mechanism for Concurrent Exception Handling
Autor(es): Avelino Francisco Zorzo
Brian Randell
Alexander Romanovsky
Editora: Kluwer Publishers
In: Concurrency in Dependable Computing
Data de Publicação: 2002
Palavras-chave: Formal Specification
Dependable Multiparty Interaction
concurrent exception handling
URI: https://hdl.handle.net/10923/22179
ISBN: 9781475735
Aparece nas Coleções:Capítulo de Livro

Arquivos neste item:
Arquivo Descrição TamanhoFormato 
TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf2,13 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.