A Higher Order -Calculus Specification for a Mobile Agent in JINI.

Andreea Barbu Fabrice Mourlin A Higher Order -Calculus Specification for a Mobile Agent in JINI. 203-209 2003 conf/snpd/2003 SNPD db/conf/snpd/snpd2003.html#BarbuM03