private void BaseMessageArrived(BaseMessage message, ChandyLamportChannel channel)
{
bool markerArrivedFromChannel = channel[ElementDictionaries.OperationResults].Value[ChandyLamportChannel.OperationResultKeys.MarkerArrived].Value;
bool recorded = OperationResults.Value[OperationResultKeys.Recorded].Value;
if (!markerArrivedFromChannel && recorded)
{
channel.AddMessage(message);
}
}
