A rich framework for modeling, simulating, and verifying bigraphical reactive systems.
Version1.0.0compared with

No previous version available to compare.