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 labels, and the calculation of redex matchings. Therefore, this toolkit provides the main functions needed to implement simulators and verification tools.
| Original language | English |
|---|---|
| Book series | Lecture Notes in Computer Science |
| Volume | 5728 |
| Pages (from-to) | 413-422 |
| ISSN | 0302-9743 |
| DOIs | |
| Publication status | Published - 2009 |
| Externally published | Yes |
| Event | Conference on Algebra and Coalgebra: CALCO-tools - Udine, Italy Duration: 6 Sept 2009 → 6 Sept 2009 Conference number: 3 |
Conference
| Conference | Conference on Algebra and Coalgebra |
|---|---|
| Number | 3 |
| Country/Territory | Italy |
| City | Udine |
| Period | 06/09/2009 → 06/09/2009 |