A Higher Order -Calculus Specification for a Mobile Agent in JINI. - Andreea Barbu; Fabrice Mourlin (SNPD, 2003)

Developing mobile agents through a formal approach. - Andreea Barbu (2005)