public Process(string name, int index) { this.name = name; this.index = index; this.clock = new VectorClock(index); }
public Message(VectorClock vc) { this.VC = vc; }