Pure bigraphs: Structure and dynamics (2006)

by R Milner
Venue:Information and Computation