Bigraphs and Mobile Processes (revised) (2004)

by Ole Høgh Jensen, Robin Milner