Refinement-Friendly Bigraphs and Spygraphs.

Michael Goldsmith, Sadie Creese

Browse the full SEFM paper archive.