[ACS25]
Blair Archibald, Muffy Calder and Michele Sevegnani.
Practical Modelling with Bigraphs.
Formal Aspects of Computing.
2025.
[Presents a guide to modelling systems with the bigraph formalism, including a connection to the PRISM modelling and property languages.]
|
