Analysis of Asynchronous Programs with Event-Based Synchronization

Author(s):  
Michael Emmi ◽  
Pierre Ganty ◽  
Rupak Majumdar ◽  
Fernando Rosa-Velardo
Keyword(s):  
2019 ◽  
Vol 2019 (13) ◽  
pp. 127-1-127-7
Author(s):  
Benjamin J. Foster ◽  
Dong Hye Ye ◽  
Charles A. Bouman

Sign in / Sign up

Export Citation Format

Share Document