The following pages link to Han-Hing Dang (Q406438):
Displayed 10 items.
- Exploring modal worlds (Q406442) (← links)
- (Q549675) (redirect page) (← links)
- Algebraic separation logic (Q549676) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Reverse Exchange for Concurrency and Local Reasoning (Q2908566) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Variable Side Conditions and Greatest Relations in Algebraic Separation Logic (Q3007573) (← links)
- Towards Algebraic Separation Logic (Q3651508) (← links)
- Abstract Dynamic Frames (Q5410483) (← links)