On Bisimilarity for Polyhedral Models and SLCS
The notion of bisimilarity plays an important role in concurrency theory. It provides formal
support to the idea of processes having “equivalent behaviour” and is a powerful tool for …
support to the idea of processes having “equivalent behaviour” and is a powerful tool for …
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs
M Albalwe, B Archibald, M Sevegnani - Formal Aspects of Computing, 2024 - dl.acm.org
As more end-user applications depend on Internet of Things (IoT) technology, it is essential
the networking protocols underpinning these applications are reliable. Using Formal …
the networking protocols underpinning these applications are reliable. Using Formal …
On Bisimilarity for Quasi-discrete Closure Spaces
Closure spaces, a generalisation of topological spaces, have shown to be a convenient
theoretical framework for spatial model checking. The closure operator of closure spaces …
theoretical framework for spatial model checking. The closure operator of closure spaces …
[PDF][PDF] ISTI Technical Reports
D Latella, IM Massink, IEP de Vink - iris.cnr.it
The notion of bisimilarity plays an important role in concurrency theory. It provides formal
support to the idea of processes having" equivalent behaviour" and is a powerful tool for …
support to the idea of processes having" equivalent behaviour" and is a powerful tool for …
[PDF][PDF] A Digital Twinning Approach to Decarbonisation: Research Challenges
Transportation accounts for around 27% of green house gas emissions in the UK [7]. While
an obvious priority area for decarbonisation, and aligned to the UK government goal of …
an obvious priority area for decarbonisation, and aligned to the UK government goal of …