On Asynchrony in Name-Passing Calculi

The asynchronous π-calculus is considered the basis of experimental programming languages (or proposal of programming languages) like Pict, Join, and TyCO. However, at a closer inspection, these languages are based on an even simpler calculus, called Localised π (Lπ), where: (a) only the output capability of names may be transmitted; (b) there is no… CONTINUE READING