Future work

The following JavaRMI features are not (yet) supported: Here are some ideas we may include in future versions:
Fabian Breg
Last modified: Tue Mar 16 11:34:58 MET 1999