Understanding mobile agents via a non interleaving sematics for facile