3 papers
cs.LO2025
Just Verification of Mutual Exclusion Algorithms
Rob van Glabbeek, Bas Luttik, Myrthe Spronck
We verify the correctness of a variety of mutual exclusion algorithms through model checking. We look at algorithms where communication is via shared read/write registers, where th…
cs.FL2024
More on Maximally Permissive Similarity Control of Discrete Event Systems
Yu Wang, Zhaohui Zhu, Rob van Glabbeek +3
Takai proposed a method for constructing a maximally permissive supervisor for the similarity control problem (IEEE Transactions on Automatic Control, 66(7):3197-3204, 2021). This…
cs.LO2022
Comparing the expressiveness of the -calculus and CCS
Rob van Glabbeek
This paper shows that the -calculus with implicit matching is no more expressive than CCS, a variant of CCS in which the result of a synchronisation of two actions is itself…