A Characterization of Mobility and State Distribution in Mobile Code Languages