Autor(es): Avelino Francisco Zorzo
Data: 2022
Identificador Persistente: https://hdl.handle.net/10923/22216
Origem: Oasisbr
Assunto(s): concurrent exception handling; TLA; DMI; concurrent exception handling; concurrent exception handling; TLA; TLA; DMI; DMI
Submitted by Biblioteca Suporte PUCRS (biblioteca.suporte@pucrs.br) on 2022-06-10T17:41:12Z No. of bitstreams: 2 TLA_specification_of_a_mechanism_for_concurrent_exception_handling.pdf: 2018814 bytes, checksum: 9363fb4f89aff2c983b314056d300c77 (MD5) TLA_specification_of_a_mechanism_for_concurrent_exception_handling.pdf: 2018814 bytes, checksum: 9363fb4f89aff2c983b314056d300c77 (MD5)
Made available in DSpace on 2022-06-10T17:41:12Z (GMT). No. of bitstreams: 2 TLA_specification_of_a_mechanism_for_concurrent_exception_handling.pdf: 2018814 bytes, checksum: 9363fb4f89aff2c983b314056d300c77 (MD5) TLA_specification_of_a_mechanism_for_concurrent_exception_handling.pdf: 2018814 bytes, checksum: 9363fb4f89aff2c983b314056d300c77 (MD5) Previous issue date: 2001
