ALGORITHMS VS. MACHINES
Andreas R. Blass, Yuri G. Gurevich · WORLD SCIENTIFIC eBooks · 2004
Yiannis Moschovakis argues that some algorithms, and in particular the mergesort algorithm, cannot be adequately described in terms of machines acting on states. We show how to describe the mergesort algorithm, on its natural level of abstraction, in terms of distributed abstract state machines.