[SC16]
Michele Sevegnani and Muffy Calder.
BigraphER: rewriting and analysis engine for bigraphs.
In Proc. 28th International Conference on Computer Aided Verification (CAV'16).
2016.
[Presents a suite of tools for working with bigraphs, including export to PRISM for probabilistic bigraphs.]
|
