Roberto Bruni Hernán C. Melgratti Ugo Montanari Nested Commits for Mobile Calculi: Extending Join. 563-576 2004 conf/ifipTCS/2004 IFIP TCS db/conf/ifipTCS/ifipTCS2004.html#BruniMM04