1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Capítulo de Livro
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10923/22179
Registro completo de metadatos
Campo DCValorIdioma
dc.contributor.authorAvelino Francisco Zorzo-
dc.contributor.authorBrian Randell-
dc.contributor.authorAlexander Romanovsky-
dc.date.accessioned2022-06-09T20:32:14Z-
dc.date.available2022-06-09T20:32:14Z-
dc.date.issued2002-
dc.identifier.isbn9781475735-
dc.identifier.urihttps://hdl.handle.net/10923/22179-
dc.language.isoen-
dc.publisherKluwer Publishers-
dc.relation.ispartofConcurrency in Dependable Computing-
dc.rightsopenAccess-
dc.subjectFormal Specification-
dc.subjectDependable Multiparty Interaction-
dc.subjectconcurrent exception handling-
dc.titleTLA Specification of a Mechanism for Concurrent Exception Handling-
dc.typebookPart-
dc.date.updated2022-06-09T20:32:12Z-
dc.publisher.placeAmsterdam - Holland-
Aparece en las colecciones:Capítulo de Livro

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
TLA_Specification_of_a_Mechanism_for_Concurrent_Exception_Handling.pdf2,13 MBAdobe PDFAbrir
Ver
Mostrar el registro sencillo 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.