1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10923/22216
Tipo: conferenceObject
Título: TLA specification of a mechanism for concurrent exception handling.
Autor(es): Avelino Francisco Zorzo
En: Workshop on Concurrency in Dependable Computing, 2001, Inglaterra.
Fecha de Publicación: 2001
Palabras clave: concurrent exception handling
TLA
DMI
URI: https://hdl.handle.net/10923/22216
Aparece en las colecciones:Apresentação em Evento

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
TLA_specification_of_a_mechanism_for_concurrent_exception_handling.pdf1,97 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.