A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
This installment of the concurrency column is devoted to a piece by Jorge Perez, which offers a survey of recent results on the expressiveness and decidability of core higher-order process calculi. In such calculi, processes can be passed around in communications, in very much the same way as functions can be applied to other functions in the λ-calculus. A celebrated result of Sangiorgi's shows that, in the π-calculus, the higherorder paradigm can be encoded in the first-order one-that is,dblp:journals/eatcs/Perez10 fatcat:qujdmqosn5fshcpa6yitfpcuei