title: Implementation of Vector Clocks
body: <p>For my code which is running on different devices, i need to determine the ordering of messages which are sent between those devices. Therefore I would like to use vector clocks since I read vector clocks allow for the ordering of events.</p>
  
  <p>Is there any established framework/public API which I can use for that? Or a reference implementation= Or do I have to code it from scratch?</p>
  
  <p>Thanks for any references and hints</p>