Bigraphs and mobile processes (revised): Technical report 580