Roberta Borgia Pierpaolo Degano Corrado Priami Lone Leth Bent Thomsen Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. 98-112 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#BorgiaDPLT96