Models for name-passing processes: interleaving and causal | IEEE Conference Publication | IEEE Xplore