most citedUsing the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2010★ 4 cited

Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures

Michael Katelman, José Meseguer

The PALS architecture reduces distributed, real-time asynchronous system design to the design of a synchronous system under reasonable requirements. Assuming logical synchrony lead…