The following pages link to James Hoey (Q2097432):
Displayed 5 items.
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← links)
- (Q3384916) (← links)
- (Q5014800) (← links)
- Reversibility of Executable Interval Temporal Logic Specifications (Q5162611) (← links)
- Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)