Experimental analysis of layered Ethernet software
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
The Formal Specification and Design of a Distributed Electronic Funds-Transfer System
IEEE Transactions on Computers
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Resource bounds for self stabilizing message driven protocols
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Leader election in uniform rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
An experience in the formal verification of industrial software
Communications of the ACM - Electronic supplement to the December issue
Concurrent reading and writing with replicated data objects
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Using actors in an interactive animation in a graduate course on distributed system
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Phase Synchronization on Asynchronous Uniform Rings with Odd Size
IEEE Transactions on Parallel and Distributed Systems
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Self-Stabilizing Anonymous Leader Election in a Tree
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 8 - Volume 09
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Distributed Computing - Special issue: Self-stabilization
Self-stabilizing depth-first token circulation on networks
Distributed Computing - Special issue: Self-stabilization
Coupling and self-stabilization
Distributed Computing - Special issue: DISC 04
On the expected time for Herman's probabilistic self-stabilizing algorithm
Theoretical Computer Science
Computers & Mathematics with Applications
Debugging debugged, a metaphysical manifesto of systems integration
ACM SIGSOFT Software Engineering Notes
Quasi-self-stabilization of a distributed system assuming read/write atomicity
Computers & Mathematics with Applications
Self-stabilizing distributed algorithms for graph alliances
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Self-stabilizing publish/subscribe protocol for p2p networks
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Hi-index | 0.01 |
This is an edited transcript of a talk given at last year's conference. To preserve the flavor of the talk and the questions, I have done very little editing—mostly eliminating superfluous words and phrases, correcting especially atrocious grammar, and making the obvious changes needed when replacing slides by figures. The tape recorder was not functioning for the first few minutes, so I had to recreate the beginning of the talk.