12. SRDS 1993: Princeton, New Jersey, USA

Prototype Systems

Mathematical Techniques

Checkpointing

Agreement Protocols

Security

a service of Schloss Dagstuhl - Leibniz Center for Informatics