27 citations · 152 across the 31 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
On Woolhouse's Cotton-Spinning Problem
Jan Friso Groote, Tim A. C. Willemse
In 1864 W.S.B. Woolhouse formulated the Cotton-Spinning problem. This problem boils down to the following. A piecer works at a spinning mule and walks back and forth to repair brok…
cs.LO2024★ 1 cited
Modelling the Raft Distributed Consensus Protocol in mCRL2
Parth Bora, Pham Duc Minh, Tim A. C. Willemse
The consensus problem is a fundamental problem in distributed systems. It involves a set of actors, or entities, that need to agree on some values or decisions. The Raft algorithm…