Understanding mobile agents via a non interleaving sematics for facile

Stringa bibliografica R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen, "Understanding mobile agents via a non interleaving sematics for facile" in Static Analysis, Berlin: Springer, 1996, p. 98-112. - ISBN: 9783540617396. Atti di: SAS'96, Aachen, 1996

Dettaglio

Note bibliografiche: Lecture notes in computer science; 1145