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

Andreea Barbu, Fabrice Mourlin

Browse the full SNPD paper archive.