Ted Herman. Self-stabilization bibliography: Access guide. Chicago Journal of Theoretical Computer Science, Working Paper WP-1, initiated November 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....; Web: http: www.cis.ohio state.edu ##anish,#demirbas#, http: www.cse.msu.edu #sandeep ; This work was partially sponsored by NSA Grant MDA904 96 1 0111, NSF Grant NSF CCR 9972368, an Ameritech Faculty Fellowship, and a grant from Microsoft Research. 1 1 Introduction Research in stabilization [6 9] has traditionally relied on the availability of a complete system implementation. The standard approach uses knowledge of all implementation variables and actions to exhibit an invariant condition such that if the system is properly initialized then the invariant is always satisfied and if the ....

Ted Herman. Self-stabilization bibliography: Access guide. Chicago Journal of Theoretical Computer Science, Working Paper WP-1, initiated November 1996.

....thus as being graybox and identify local everywhere eventually specifications as being amenable to design of graybox stabilization. We illustrate the design of graybox stabilization using timestamp based distributed mutual exclusion as our example. 1 Introduction Research in stabilization [8 11] has traditionally relied on the availability of a complete system implementation. The standard approach to reasoning uses knowledge of all implementation variables and actions to exhibit an invariant condition such that if the system is properly initialized then the invariant is always ....

T. Herman. Self-stabilization bibliography: Access guide. Chicago Journal of Theoretical Computer Science, Working Paper WP-1, initiated November 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC