Modelling Real-time Systems with Bigraphs. - Maram Albalwe; Blair Archibald; Michele Sevegnani (GCM, 2024)

Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs. - Maram Albalwe; Blair Archibald; Michele Sevegnani (Formal Aspects Comput., 2024)