Sciweavers

CALCO
2009
Springer
190views Mathematics» more  CALCO 2009»
14 years 6 months ago
DBtk: A Toolkit for Directed Bigraphs
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
Giorgio Bacci, Davide Grohmann, Marino Miculan