Sistemas Informáticos y Computación
Departamento
Max Planck Institute for Software Systems
Sarrebruck, AlemaniaPublicaciones en colaboración con investigadores/as de Max Planck Institute for Software Systems (1)
2015
-
Analysis of asynchronous programs with event-based synchronization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9032, pp. 535-559