A rich framework for modeling, simulating, and verifying bigraphical reactive systems.

Artifacts using Bigraph Parent Project (0)
Sort by:Popular

  • Prev
  • 1
  • Next