The following pages link to A. J. M. van Gasteren (Q918206):
Displaying 14 items.
- Comments on ``On the proof of a distributed algorithm'': Always-true is not invariant (Q918207) (← links)
- A simple fixpoint argument without the restriction to continuity (Q1075045) (← links)
- An introduction to three algorithms for sorting in situ (Q1167544) (← links)
- On the shape of mathematical arguments (Q1188723) (← links)
- Calculating path algorithms (Q1330443) (← links)
- Peterson's mutual exclusion algorithm revisited (Q1370158) (← links)
- Derivation of a termination detection algorithm for distributed computations (Q2216413) (← links)
- (Q3681916) (← links)
- (Q3719822) (← links)
- (Q3824309) (← links)
- (Q3957930) (← links)
- (Q4258224) (← links)
- (Q4281661) (← links)
- (Q4364526) (← links)
