[7860bc]: thys / ClockSynchInst / ROOT.ML  Maximize  Restore  History

Download this file

8 lines (6 with data), 340 Bytes

(*  Title:       Instances of Schneider's generalized protocol of clock synchronization
    ID:          $Id: ROOT.ML,v 1.3 2007-08-07 18:30:18 makarius Exp $
    Author:      Damián Barsotti <damian@hal.famaf.unc.edu.ar>, 2006
    Maintainer:  Damián Barsotti <damian@hal.famaf.unc.edu.ar>
*)

use_thys ["ICAInstance", "LynchInstance"];

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks