Buscar
Mostrando ítems 1-2 de 2
Artículo
Generating non-conspiratorial executions
(Elsevier, 2007)
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown problems in faulty environments; furthermore, avoiding non-equivalence robust executions ...
Artículo
Vivacidad y justicia en entornos no deterministas
(Universidad Autónoma de Bucaramanga, 2002)
El problema de la vivacidad y la seleccion justa surge en el contexto de los sistemas con ejecuciones no deterministas. El concepto de seleccion completamente justa sirve para garantizar que todos los elementos que se ...