25 citations · 124 across the 16 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 13 cited
Stuttering Equivalence for Parity Games
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
We study the process theoretic notion of stuttering equivalence in the setting of parity games. We demonstrate that stuttering equivalent vertices have the same winner in the parit…
cs.LO2011★ 25 cited
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines. These state machines are organised hierarchically: commands are sent d…