On Mon, Sep 14, 2009 at 16:47:25 +0100, Eric Kow wrote: > * Within the Darcs community? Read up on OT literature (in > separate mail) on formal properities and proofs thereof > (Could be very interesting for Ian and all his Coq-writing > work)
I've added some references to http://wiki.darcs.net/Bibliography Of particular interest appears to be Lushman and Cormack 2003, which proves correctness for an algorithm that "maintains consistent state when state is replicated across sites"... by "transform[ing]s updates as they are transmitted among sites.". It would be nice if this paper was more widely available for download. > 6. Team ECOO talked a bit about some new directions they are > exploring in conflict-free revision control. It sounds rather > familiar to Jean-Phillipe Benardy's work on Focal. Jean-Phillipe: there is a body of research on 'Commutative Replicated DataTypes' (CRDTs) which may be of interest to you. Try these: - http://www.loria.fr/~molli/pmwiki/uploads/Main/weiss09.pdf - http://www.loria.fr/~molli/pmwiki/pmwiki.php/Main/PublicationYear?action=upload&upname=Skaf09dexab.pdf - http://www.loria.fr/~molli/pmwiki/pmwiki.php/Main/PublicationYear?action=upload&upname=RAHHAL2009INRIA-003663171.pdf For the ECOO team, have a look at this masters thesis from Jean-Phillipe's students: - http://www.cse.chalmers.se/~bernardy/AConcflictFreeVersionControlSystem.pdf Note also that this has been implemented in a toy system which you can download here - http://www.cse.chalmers.se/~bernardy/focal_Code_Anders_Petter.tar.gz -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpVcEt8kKs4U.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
