Andreea Barbu, Fabrice Mourlin. A Higher Order -Calculus Specification for a Mobile Agent in JINI. In Walter Dosch, Roger Y. Lee, editors, Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 03), October 16-18, 2003, Lübeck, Germany. pages 203-209, ACIS, 2003.
Abstract is missing.