% Contributors: % Paul Miner -- NASA Langley % Jeff Maddalon -- NASA Langley % Alfons Geser -- NIA ( now HTWK Leipzig) % Lee Pike -- NASA Langley (now Galois, Inc.) top: THEORY BEGIN IMPORTING core_top, % generalized consensus protocols virtual_clock_top % High-level clock synchronization resulst END topThe tag identifies links that are outside the NASA domain