Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/22216
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAvelino Francisco Zorzo-
dc.date.accessioned2022-06-10T17:41:12Z-
dc.date.available2022-06-10T17:41:12Z-
dc.date.issued2001-
dc.identifier.urihttps://hdl.handle.net/10923/22216-
dc.language.isoen-
dc.relation.ispartofWorkshop on Concurrency in Dependable Computing, 2001, Inglaterra.-
dc.rightsopenAccess-
dc.subjectconcurrent exception handling-
dc.subjectTLA-
dc.subjectDMI-
dc.titleTLA specification of a mechanism for concurrent exception handling.-
dc.typeconferenceObject-
dc.date.updated2022-06-10T17:41:10Z-
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


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.