C# Class MultiPaxos.Program

This is an example of usign P#. This example implements the MultiPaxos distributed concencus algorithm.
Afficher le fichier Open project: p-org/PSharp

Méthodes publiques

Méthode Description
Main ( Array args ) : void

Private Methods

Méthode Description
Execute ( IMachineRuntime runtime ) : void

Method Details

Main() public static méthode

public static Main ( Array args ) : void
args Array
Résultat void