Self-stabilizing java

Authors: Yong Hun Eom, Brian Demsky

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://demsky.eecs.uci.edu/publications/PLDI12.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Reliability General Terms Languages, Reliability Keywords Self-Stabilization, Software Robustness

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.4916; http://demsky.eecs.uci.edu/publications/PLDI12.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.4916
http://demsky.eecs.uci.edu/publications/PLDI12.pdf

Views: Object-Inspired Concurrency Control ABSTRACT

Authors: Brian Demsky

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://patricklam.ca/papers/10.icse.views.pdf.

Subject Terms: Software/Program Verification—Reliability General Terms Languages, Design, Reliability Keywords concurrency

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.209.652; http://patricklam.ca/papers/10.icse.views.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.209.652
http://patricklam.ca/papers/10.icse.views.pdf