Franck van Breugel
-
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science