MohsenLesani

The same can be done for company-coq-jump-to-definition as well.

The packet sizes in the experiments are small as the value type that is used is int. type valu = int Further, the calls to "Marshal.to_channel" are immediately followed by...

The semantics in the paper models reordering of messages but not message duplication. Duplication can be modularly handled by transformers presented in Verdi paper. http://verdi.uwplse.org/verdi.pdf

Causal consistency has to prevent other nodes from viewing the new messages if a previous message is not seen or lost. However, we can always add additional mechanisms that periodically...