1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/22216
Type: conferenceObject
Title: TLA specification of a mechanism for concurrent exception handling.
Author(s): Avelino Francisco Zorzo
In: Workshop on Concurrency in Dependable Computing, 2001, Inglaterra.
Issue Date: 2001
Keywords: concurrent exception handling
TLA
DMI
URI: https://hdl.handle.net/10923/22216
Appears in Collections:Apresentação em Evento

Files in This Item:
File Description SizeFormat 
TLA_specification_of_a_mechanism_for_concurrent_exception_handling.pdf1,97 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.