The following pages link to W. H. J. Feijen (Q673350):
Displaying 10 items.
- Formal derivation of an algorithm for distributed phase synchronization (Q673351) (← links)
- Bulterman's reshuffling problem (Q1162140) (← links)
- Peterson's mutual exclusion algorithm revisited (Q1370158) (← links)
- The joy of formula manipulation (Q1607086) (← links)
- Derivation of a termination detection algorithm for distributed computations (Q2216413) (← links)
- (Q3681916) (← links)
- (Q3957930) (← links)
- (Q3994464) (← links)
- (Q4258224) (← links)
- (Q4364526) (← links)
