Bigraphs and transitions. In: (2003)

by O H Jensen, R Milner
Venue:Proc. POPL