TLA Specification of a Mechanism for Concurrent Exception Handling

Detalhes bibliográficos
Autor(a) principal: Avelino Francisco Zorzo
Data de Publicação: 2002
Outros Autores: Brian Randell, Alexander Romanovsky
Tipo de documento: Capítulo de livro
Idioma: eng
Título da fonte: Repositório Institucional PUCRS
Texto Completo: https://hdl.handle.net/10923/22179
id PUCR_9ee14d533942ec26043c25868c8a27d3
oai_identifier_str oai:repositorio.pucrs.br:10923/22179
network_acronym_str PUCR
network_name_str Repositório Institucional PUCRS
repository_id_str 2753
spelling Avelino Francisco ZorzoBrian RandellAlexander Romanovsky2022-06-09T20:32:14Z2022-06-09T20:32:14Z20022022-06-09T20:32:12Z9781475735https://hdl.handle.net/10923/22179Submitted 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: 2002Kluwer PublishersAmsterdam - HollandConcurrency in Dependable ComputingFormal SpecificationDependable Multiparty Interactionconcurrent exception handlingTLA Specification of a Mechanism for Concurrent Exception Handlinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookPartinfo:eu-repo/semantics/openAccessengreponame:Repositório Institucional PUCRSinstname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)instacron:PUC_RSTEXTTLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf.txtTLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf.txtExtracted texttext/plain40519http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/4/TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf.txt701b2b9bef70c00b2a9a2a18c8126fe0MD54ORIGINALTLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdfapplication/pdf2176762http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/2/TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf2f03da33fb3b34e0bcb48fcc8990318cMD52SWORDsword-2022-06-09T17:32:06.original.xmlOriginal SWORD entry documentapplication/octet-stream1201http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/1/sword-2022-06-09T17%3A32%3A06.original.xml23871cfa7b78acce492d78a414327942MD51TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdfOrignal SWORD deposit fileapplication/pdf2176762http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/3/TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf2f03da33fb3b34e0bcb48fcc8990318cMD5310923/221792022-06-10 12:00:44.759oai:repositorio.pucrs.br:10923/22179Repositório InstitucionalPRIhttp://repositorio.pucrs.br/oai/request?verb=Identifyopendoar:27532022-06-10T15:00:44Repositório Institucional PUCRS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)false
dc.title.none.fl_str_mv TLA Specification of a Mechanism for Concurrent Exception Handling
title TLA Specification of a Mechanism for Concurrent Exception Handling
spellingShingle TLA Specification of a Mechanism for Concurrent Exception Handling
Avelino Francisco Zorzo
Formal Specification
Dependable Multiparty Interaction
concurrent exception handling
title_short TLA Specification of a Mechanism for Concurrent Exception Handling
title_full TLA Specification of a Mechanism for Concurrent Exception Handling
title_fullStr TLA Specification of a Mechanism for Concurrent Exception Handling
title_full_unstemmed TLA Specification of a Mechanism for Concurrent Exception Handling
title_sort TLA Specification of a Mechanism for Concurrent Exception Handling
author Avelino Francisco Zorzo
author_facet Avelino Francisco Zorzo
Brian Randell
Alexander Romanovsky
author_role author
author2 Brian Randell
Alexander Romanovsky
author2_role author
author
dc.contributor.author.fl_str_mv Avelino Francisco Zorzo
Brian Randell
Alexander Romanovsky
dc.subject.por.fl_str_mv Formal Specification
Dependable Multiparty Interaction
concurrent exception handling
topic Formal Specification
Dependable Multiparty Interaction
concurrent exception handling
publishDate 2002
dc.date.updated.none.fl_str_mv 2022-06-09T20:32:12Z
dc.date.issued.fl_str_mv 2002
dc.date.accessioned.fl_str_mv 2022-06-09T20:32:14Z
dc.date.available.fl_str_mv 2022-06-09T20:32:14Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bookPart
format bookPart
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10923/22179
dc.identifier.isbn.none.fl_str_mv 9781475735
identifier_str_mv 9781475735
url https://hdl.handle.net/10923/22179
dc.language.iso.fl_str_mv eng
language eng
dc.relation.ispartof.none.fl_str_mv Concurrency in Dependable Computing
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Kluwer Publishers
Amsterdam - Holland
publisher.none.fl_str_mv Kluwer Publishers
Amsterdam - Holland
dc.source.none.fl_str_mv reponame:Repositório Institucional PUCRS
instname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron:PUC_RS
instname_str Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron_str PUC_RS
institution PUC_RS
reponame_str Repositório Institucional PUCRS
collection Repositório Institucional PUCRS
bitstream.url.fl_str_mv http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/4/TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf.txt
http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/2/TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf
http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/1/sword-2022-06-09T17%3A32%3A06.original.xml
http://meriva.pucrs.br:8080/jspui/bitstream/10923/22179/3/TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf
bitstream.checksum.fl_str_mv 701b2b9bef70c00b2a9a2a18c8126fe0
2f03da33fb3b34e0bcb48fcc8990318c
23871cfa7b78acce492d78a414327942
2f03da33fb3b34e0bcb48fcc8990318c
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional PUCRS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
repository.mail.fl_str_mv
_version_ 1747679177485582336

Registros relacionados