Resumen de Algorithmic verification of asynchronous programs

Pierre Yves Genty, Rupak Majumdar

• Asynchronous programming is a ubiquitous systems programming idiom for managing concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to...