On the costs of self-stabilization
Information Processing Letters
Parallel program design: a foundation
Parallel program design: a foundation
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
Self-stabilizing extensions for message-passing systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
Self-stabilizing systems in spite of distributed control
Communications of the ACM
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
Describing and using non functional aspects in component based applications
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
IEEE Transactions on Software Engineering
On a Space-Optimal Distributed Traversal Algorithm
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A New Rewrite Method for Convergence of Self-Stabilizing Systems
Proceedings of the 13th International Symposium on Distributed Computing
Formal design of self-stabilizing programs
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Contracts for aspect-oriented design
Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies
Lightweight, Semi-automated Enactment of Pragmatic-Reuse Plans
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Semi-automating small-scale source code reuse via structural correspondence
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
On bootstrapping topology knowledge in anonymous networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Timer-based composition of fault-containing self-stabilizing protocols
Information Sciences: an International Journal
From self- to snap- stabilization
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
On bootstrapping topology knowledge in anonymous networks
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing atomicity refinement allowing neighborhood concurrency
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Stabilization in dynamic systems with varying equilibrium
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
A new self-stabilizing minimum spanning tree construction with loop-free property
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Self-stabilizing wireless connected overlays
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Systematizing pragmatic software reuse
ACM Transactions on Software Engineering and Methodology (TOSEM)
International Journal of Grid and Utility Computing
| Hi-index | 0.00 |
An adaptive program is one that changes its behavior base on the current state of its environment. This notion of adaptivity is formalized, and a logic for reasoning about adaptive programs is presented. The logic includes several composition operators that can be used to define an adaptive program in terms of given constituent programs; programs resulting from these compositions retain the adaptive properties of their constituent programs. The authors begin by discussing adaptive sequential programs, then extend the discussion to adaptive distributed programs. The relationship between adaptivity and self-stabilization is discussed. A case study for constructing an adaptive distributed program where a token is circulated in a ring of processes is presented.