Relevant work I've done in the past: http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html http://christophermeiklejohn.com/coq/2013

Relevant work I've done in the past: http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html http://christophermeiklejohn.com/coq/2013/06/11/distributed-... Also, see related papers from PaPEC '14: http://dl.acm.org/citation.cfm?id=2596631 http://dl.acm.org/citation.cfm?id=2596631