Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Modelling Real-time Systems with Bigraphs
Maram Albalwe, Blair Archibald, Michele Sevegnani
Bigraphical Reactive Systems (BRSs) are a graph-rewriting formalism describing systems evolving in two dimensions: spatially, e.g. a person in a room, and non-spatially, e.g. mobil…
cs.LO2024
Practical Modelling with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of…