Formal Modeling of Process Migration.

Aric D. Blumer, Henning S. Mortveit, Cameron D. Patterson

Browse the full FPL paper archive.