Right, that's the first reference I've seen of Oz being based on the pi-calculus! I'll have to have a closer look; Mozart/Oz has been on my list for a while no

Right, that's the first reference I've seen of Oz being based on the pi-calculus! I'll have to have a closer look; Mozart/Oz has been on my list for a while now, but has slipped down the pile a bit.