Local bigraphs and confluence: Two conjectures: (extended abstract (0)

by R Milner
Venue:ENTCS