2 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Peizun Liu, Thomas Wahl, Akash LaL
We address the problem of analyzing asynchronous event-driven programs, in which concurrent agents communicate via unbounded message queues. The safety verification problem for suc…