Computational Science and Its Applications – ICCSA 2017
Springer, Cham
Chapter title |
Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs
|
---|---|
Chapter number | 16 |
Book title |
Computational Science and Its Applications – ICCSA 2017
|
Published in |
Lecture notes in computer science, July 2017
|
DOI | 10.1007/978-3-319-62407-5_16 |
Book ISBNs |
978-3-31-962406-8, 978-3-31-962407-5
|
Authors |
Mohamed A. El-Zawawy |