1. On bisimulations for the asynchronous π-calculus;Amadio,1996
2. Asynchrony and the π-calculus;Boudol,1992
3. A truly concurrent view of Linda interprocess communication;Busi;Tech. Report, Department of Computer Science, University of Bologna, UBLCS-97-02,1997
4. Three semantics of the output operation for asynchronous communication;Busi,1997
5. The failure of failures in a paradigm for asynchronous communication;De Boer,1991