Locality and non-interleaving semantics in calculi for mobile processes | lit.salon