Ir a navegaciónSaltar a buscar
Término que describe la ejecución de un programa no determinista en el que todas las elecciones se realizan a favor de la no terminación. [ cita requerida ]
Referencias
Wirsing, M .; Broy, M. (5 de marzo de 1981). "Sobre la especificación algebraica de lenguajes de programación no deterministas". Caap '81 . Apuntes de conferencias en Ciencias de la Computación. Springer, Berlín, Heidelberg. 112 : 162-179. doi : 10.1007 / 3-540-10828-9_61 . ISBN 978-3-540-10828-3.
McIver, AK; Morgan, Carroll (6 de septiembre de 2001). "Corrección parcial para programas demoníacos probabilísticos" . Informática Teórica . 266 (1): 513–541. doi : 10.1016 / S0304-3975 (00) 00208-5 . ISSN 0304-3975 .