The following pages link to Hasan Amjad (Q469351):
Displaying 4 items.
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- Data compression for proof replay (Q1040776) (← links)
