- Book Chapter
1
- 10.1007/978-3-319-42092-9_32
Finding Divergent Executions in Asynchronous Programs
- Jan 01, 2016
- Mohamed A El-Zawawy
Developing interactive and distributive softwares is a complicated task for many reasons including the nature of this technique of programming; asynchronous programming. In this style of programming, there is no synchronization between running processes concerning message-posting communications. Therefore the presence of nonterminating executions for asynchronous programs, as a result of simple programming errors, is common.
Read more