Bigraphs meet double pushouts (2002)

by H Ehrig
Venue:EATCS Bulletin