Showing cs.LOShow all
2 papers · 1 filter
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.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…