DBtk: A Toolkit for Directed Bigraphs.

Giorgio Bacci, Davide Grohmann, Marino Miculan

Browse the full CALCO paper archive.