Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: balanced_tree.ML Sprache: PVS

Original von: PVS^©

%
% General theories for a class of clock synchronization algorithms.
% The heritage of these theories traces back to Schneider's general
% proof.  The central idea is that any periodic protocol that
% satisfies precision enhancement and accuracy preservation will
% preserve precision and accuracy.  These theories resolve all of the
% limitations of Miner's earlier formalization in Ehdm.

% These theories were developed by Alfons Geser and Paul Miner
%

virtual_clock_top: THEORY

BEGIN

  IMPORTING
    virtual_clock_1,
    virtual_clock_2

END virtual_clock_top

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.