Available as Technical Report 492, June 2000. Below we describe one of the simplest algorithms possible, with a centralized server daemon. Pawe l T. Wojciechowski. PhD thesis, University of Cambridge, 2000. Also appeared as Technical Report 492, Computer Laboratory, University of Cambridge, June 2000.
Mobility allows infrastructures to be deployed dynamically.
Pawe l T. Wojciechowski and Peter Sewell. The required infrastructure is still far from trivial, however. Pawe l T. Wojciechowski and Peter Sewell.