properties in models of computation that incorporate code and data mobility over