Programming with non-determinism: a rewriting based approach = Programación con indeterminismo: un enfoque basado en reescritura

UNIVERSIDAD COMPLUTENSE DE MADRID FACULTAD DE INFORMÁTICA Departamento de Sistemas Informáticos y Computación PROGRAMACIÓN CON INDETERMINISMO: UN ENFOQUE BASADO EN REESCRITURA. MEMORIA PARA OPTAR AL GRADO DE DOCTOR PRESENTADA POR Juan Rodríguez Hortalá Bajo la dirección de los doctores Francisco J. López Fraguas Jaime Sánchez Hernández Madrid, 2010 ISBN: 978-84-693-8793-1 © Juan Rodríguez Hortalá, 2010 Programación con indeterminismo:un enfoque basado en reescrituraJuan Rodríguez HortaláTesis doctoralDirectores: Francisco J. López FraguasJaime Sánchez HernándezDepartamento de Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridAbril de 2010Programming with Non-Determinism:a Rewriting Based ApproachJuan Rodríguez HortaláPhD ThesisAdvisors: Francisco J.