Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10719425 | Happens-before-based dynamic concurrency analysis for actor-based programs | Nicholas John Allen, Yang Zhao, Nathan Robert Albert Keynes | 2020-07-21 |
| 10620660 | Efficient timestamp solution for analyzing concurrent software systems | Yang Zhao, Nicholas John Allen, Nathan Robert Albert Keynes | 2020-04-14 |