Locality and polyadicity in asynchronous name-passing calculi (2000)

by M Merro
Venue:In Proceedings of FoSSaCS 2000, volume 1784 of LNCS