Lorenzo Alvisi, R. Joshi, Calvin Lin, and Jayadev Misra. Seuss: What the doctor ordered. In PDSE '97, pages 284--90, Boston, MA, USA, 17--18 May 1997.  Home/Search   Document Details and Download   Summary   Related Articles

....for our system. Finally, we conclude with notes on future work in Section 5. 1. 1 Related Work Much work has been done on checkpointing and logging algorithms (e.g. 3, 6, 17, 35, 40, 47] backward and forward recovery [15, 16, 37, 38] and compositional specification and verification [2, 7, 10, 12, 21, 24, 25, 34, 36, 41, 46]. In this section, we list some of the more closely related work. Neves and Fuchs [31] consider the problem of recovery in mobile environments. The solutions they propose are also applicable to the distributed system case, where the processing power of individual nodes typically outstrips the ....

....of single object methods. Like our model, DisCo has a formal basis in TLA; i.e. it can be considered another example of an object model with a TLA based proof system. Its notion of object is different from ours, due to the use of joint actions rather than threads of control. The goal of Seuss [2] is to separate the sequential and concurrent aspects of programming concurrent systems. Programs are written and reasoned about sequentially, but multithreaded implementations easily follow from the programming model. The underlying idea is that concurrent programs actually consist of some ....

Lorenzo Alvisi, R. Joshi, Calvin Lin, and Jayadev Misra. Seuss: What the doctor ordered. In PDSE '97, pages 284--90, Boston, MA, USA, 17--18 May 1997.

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