Atomic broadcast: from simple message diffusion to Byzantine agreement (Englisch)
- Neue Suche nach: Cristian, F.
- Neue Suche nach: Aghili, H.
- Neue Suche nach: Strong, R.
- Neue Suche nach: Dolev, D.
- Neue Suche nach: Cristian, F.
- Neue Suche nach: Aghili, H.
- Neue Suche nach: Strong, R.
- Neue Suche nach: Dolev, D.
In:
Information and Computation
;
118
, 1
;
158-179
;
1995
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Atomic broadcast: from simple message diffusion to Byzantine agreement
-
Weitere Titelangaben:Atomare Übertragung: von der einfachen Nachrichtendiffusion zur byzantinischen Übereinkuft
-
Beteiligte:Cristian, F. ( Autor:in ) / Aghili, H. ( Autor:in ) / Strong, R. ( Autor:in ) / Dolev, D. ( Autor:in )
-
Erschienen in:Information and Computation ; 118, 1 ; 158-179
-
Verlag:
-
Erscheinungsdatum:1995
-
Format / Umfang:22 Seiten, 26 Quellen
-
ISSN:
-
Coden:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 118, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Efficient 2-Dimensional Approximate Matching of Half-Rectangular FiguresAmir, Amihood et al. | 1995
- 12
-
Negation and Constraint Logic ProgrammingStuckey, Peter J. et al. | 1995
- 34
-
A Simple Randomized Sieve Algorithm for the Closest-Pair ProblemKhuller, Samir et al. | 1995
- 38
-
Generalized OM-BisimulationVogler, Walter et al. | 1995
- 48
-
Fast Identification of Geometric Objects with Membership QueriesBultman, William J. et al. | 1995
- 65
-
Sample Sizes for Threshold Networks with EquivalencesShawe-Taylor, John et al. | 1995
- 73
-
Quantifying the Amount of VerbosenessBeigel, Richard et al. | 1995
- 91
-
Decidability of Regularity and Related Properties of Ground Normal Form LanguagesKucherov, Gregory et al. | 1995
- 101
-
Testing Language Containment for w-Automata Using BDDsTouati, Hervé J. et al. | 1995
- 101
-
Testing Language Containment for omega-Automata Using BDDsTouati, H. J. / Brayton, R. K. / Kurshan, R. et al. | 1995
- 110
-
On the Recognition of Families of Graphs with Local ComputationsLitovsky, Igor et al. | 1995
- 120
-
Parallel Reductions in l-CalculusTakahashi, Masako et al. | 1995
- 120
-
Parallel Reductions in lambda-CalculusTakahashi, M. et al. | 1995
- 128
-
Safety Analysis versus Type InferencePalsberg, Jens et al. | 1995
- 142
-
Timing Verification by Successive ApproximationAlur, R. et al. | 1995
- 158
-
Atomic Broadcast: From Simple Message Diffusion to Byzantine AgreementCristian, Flaviu et al. | 1995