Trust in cyberspace /

Weitere Verfasser: “… Schneider, Fred B. …”
Volltext öffnen

Trust in cyberspace /

Weitere Verfasser: “… Schneider, Fred B. …”
Volltext öffnen

A logical approach to discrete math von Gries, David, Schneider, Fred B.

Beschreibung

Pretending atomicity von Lamport, Leslie 1941-, Schneider, Fred B.

Abstractions for fault tolerance in distributed systems von Schneider, Fred B.

Recognizing safety and liveness von Alpern, Bowen, Schneider, Fred B.

Symmetry and similarity in distributed systems von Johnson, Ralph E., Schneider, Fred B.

The "Hoare logic" of CSP, and all that von Lamport, Leslie 1941-, Schneider, Fred B.

Fast reliable broadcasts von Schneider, Fred B., Gries, David, Schlichting, Richard D.

Concepts and notations for concurrent programming von Andrews, Gregory R., Schneider, Fred B.

Three surveys on operating system topics von Andrews, Gregory R., Schneider, Fred B.

Broadcasts, a paradigm for distributed programs von Schneider, Fred B.

Detecting distributed termination when processors can fail von Lermen, C. W., Schneider, Fred B.

On concurrent programming von Schneider, Fred B.

Inhaltsverzeichnis

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing von Schneider, Fred B

Volltext öffnen

Defining liveness von Alpern, Bowen, Schneider, Fred B.

Verifying temporal properties without using temporal logic von Alpern, Bowen, Schneider, Fred B.

Constraints: a uniform approach to aliasing and typing von Lamport, Leslie 1941-, Schneider, Fred B.

Byzantine generals in action implementing fail stop processors von Schneider, Fred B.

Derivation of a distributed algorithm for finding paths in directed networks von MacCurley, Robert, Schneider, Fred B.