¹⁰  A language construct for continuation goes back to 1970s (Actors and early Scheme) and is now found in functional and object-oriented languages, in the form of call/cc. Its π-calculus encoding shows that continuation is a special way to use names and name passing. The current construct is based on this idea.