Previous work

Some work has been done at ENSEIRB-MATMECA, in 2012-2013 and 2013-2014, regarding a formal model of some Google Drive underlying concepts.
Here is a project proposal for ENSEIRB-MATMECA students, also available as a Google drive document, or in published form.
Added 7 Oct 2014: a slide presentation of the project proposal, available below (bottom of page) or here.

Google Drive Formal Model - student project proposal

Google Drive Formal Model