1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Capítulo de Livro
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/22179
Type: bookPart
Title: TLA Specification of a Mechanism for Concurrent Exception Handling
Author(s): Avelino Francisco Zorzo
Brian Randell
Alexander Romanovsky
Publisher: Kluwer Publishers
In: Concurrency in Dependable Computing
Issue Date: 2002
Keywords: Formal Specification
Dependable Multiparty Interaction
concurrent exception handling
URI: https://hdl.handle.net/10923/22179
ISBN: 9781475735
Appears in Collections:Capítulo de Livro

Files in This Item:
File Description SizeFormat 
TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf2,13 MBAdobe PDFOpen
View
Show full item record See statistics Search for other versions of fulltext via SFX


All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.