Understanding mobile agents via a non interleaving semantics for Facile (1996)

by R Borgia, P Degano, C Priami, L Leth, B Thomsen
Venue:Proceedings of SAS '96, volume 1145 of LNCS