C# Class MultiPaxos.Program

This is an example of usign P#. This example implements the MultiPaxos distributed concencus algorithm.
显示文件 Open project: p-org/PSharp

Public Methods

Method Description
Main ( Array args ) : void

Private Methods

Method Description
Execute ( IMachineRuntime runtime ) : void

Method Details

Main() public static method

public static Main ( Array args ) : void
args Array
return void