12 citations · 39 across the 12 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 12 cited
Modelling Clock Synchronization in the Chess gMAC WSN Protocol
Mathijs Schuts, Feng Zhu, Faranak Heidarian +1
We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Du…
cs.LO2000★ 7 cited
A theory of normed simulations
W. O. D. Griffioen, F. W. Vaandrager
In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is c…