1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Capítulo de Livro
Por favor, use este identificador para citar o enlazar este ítem: 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
Editor: Kluwer Publishers
En: Concurrency in Dependable Computing
Fecha de Publicación: 2002
Palabras clave: Formal Specification
Dependable Multiparty Interaction
concurrent exception handling
URI: https://hdl.handle.net/10923/22179
ISBN: 9781475735
Aparece en las colecciones:Capítulo de Livro

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf2,13 MBAdobe PDFAbrir
Ver
Mostrar el registro completo del ítem Ver estatísticas Busque otras versiones de este texto através de SFX


Todos los ítems en el Repositorio de la PUCRS están protegidos por derechos de autor, con todos los derechos reservados, y están bajo una licencia de Creative Commons Reconocimiento-NoComercial 4.0 Internacional. Sepa más.