Algorithmic verification of asynchronous programs

• Autores: Pierre Yves Genty, Rupak Majumdar
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 34, Nº 1, 2012
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • 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...