There are lots of papers referenced in the "Mysteries of DropBox" paper above, but I think the full spec is here: http://www.cis.upenn.edu/~bcpierce/papers/unis

There are lots of papers referenced in the "Mysteries of DropBox" paper above, but I think the full spec is here: http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf