Albert Albiol, Elvira María
Your browser has limited support for third-party cookies, which may prevent you from viewing this content. If you run into problems, you can view the content in a
new window.
-
Owicki, S; Lamport, L. (1982) Proving Liveness Properties of Concurrent Programs [Artículo-e]
-
Andrews, G R (1991) Concurrent programming : principles and practice
-
Principles of concurrent and distributed programming.
-
Cook,B; Podelski, A; Rybalchenko, A. (2007) Proving thread termination [Artículo-e]
-
Flanagan, C; Godefroid (2005) Dynamic partial-order reduction for model checking software [Articulo-e]
-
PA Abdulla, S Aronis, B Jonsson, K Sagonas (2017) Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction [Articulo-e]
-
Krzysztof R, FS de Boer, ER Olderog (2009). Verification of Sequential and Concurrent Programs [Libro-e]
Conozco y acepto que el uso de los materiales contenidos en estas guías se realiza con finalidad de estudio, de apoyo a la docencia y la investigación. Se respetarán las condiciones de uso y contratación de cada uno de los recursos.
