Author(s): Avelino Francisco Zorzo ; Brian Randell ; Alexander Romanovsky
Date: 2022
Persistent ID: https://hdl.handle.net/10923/22179
Origin: Oasisbr
Subject(s): Formal Specification; Dependable Multiparty Interaction; concurrent exception handling; Formal Specification; Formal Specification; Dependable Multiparty Interaction; Dependable Multiparty Interaction; concurrent exception handling; concurrent exception handling
Submitted by Biblioteca Suporte PUCRS (biblioteca.suporte@pucrs.br) on 2022-06-09T20:32:14Z No. of bitstreams: 2 TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf: 2176762 bytes, checksum: 2f03da33fb3b34e0bcb48fcc8990318c (MD5) TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf: 2176762 bytes, checksum: 2f03da33fb3b34e0bcb48fcc8990318c (MD5)
Made available in DSpace on 2022-06-09T20:32:14Z (GMT). No. of bitstreams: 2 TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf: 2176762 bytes, checksum: 2f03da33fb3b34e0bcb48fcc8990318c (MD5) TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf: 2176762 bytes, checksum: 2f03da33fb3b34e0bcb48fcc8990318c (MD5) Previous issue date: 2002
