Understanding Mobile Agents via a Non-Interleaving Semantics for Facile

Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen. Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. In Radhia Cousot, David A. Schmidt, editors, Static Analysis, Third International Symposium, SAS 96, Aachen, Germany, September 24-26, 1996, Proceedings. Volume 1145 of Lecture Notes in Computer Science, pages 98-112, Springer, 1996.

Authors

Roberta Borgia

This author has not been identified. Look up 'Roberta Borgia' in Google

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Corrado Priami

This author has not been identified. Look up 'Corrado Priami' in Google

Lone Leth

This author has not been identified. Look up 'Lone Leth' in Google

Bent Thomsen

This author has not been identified. Look up 'Bent Thomsen' in Google