Bigraphs and transitions (2003)

by O H Jensen, R Milner
Venue:Principles of Programming Languages