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

by R BORGIA, P DEGANO, C PRIAMI, L LETH, B THOMSEN
Venue:In Proceedings of SAS ’96