Axioms for bigraphical structure, (2005)

by R Milner
Venue:Mathematical Structures in Computer Science,