Bigraphs as a model for mobile interaction (2002)

by R Milner
Venue:In Graph Transformation