Understanding Mobile Agents via a Non-Interleaving Semantics for Facile

• Authors:

• Roberta Borgia;Pierpaolo Degano;Corrado Priami;Lone Leth;Bent Thomsen

• Affiliations:

• -;-;-;-;-

• Venue:
• SAS '96 Proceedings of the Third International Symposium on Static Analysis
• Year:
• 1996