The study of revision has been a topic interest in writing research over the past decades. Numerous studies have, for instance, shown that learning-to-revise is one key competences development. Moreover, several models have developed, and variety taxonomies used to measure empirical studies. Current advances data collection analysis made it possible increasingly precise detail. present aimed co...

Revisions of objects (or files, respectively) have always been managed by using labels attached to the revisions. Yet, typical version managers assume that the revisions are ordered totally or at least in a tree-like order. The ordering of labels reflects the semantical dependencies of revisions of a single object, therefore the labels should be able to represent a revision R inheriting propert...

Revisions of objects (or files, respectively) have always been managed by using labels attached to the revisions. Yet, typical version managers assume that the revisions are ordered totally or at least in a tree-like order. The ordering of labels reflects the semantical dependencies of revisions of a single object, therefore the labels should be able to represent a revision R inheriting propert...

ion Refinement Abstraction refinement [7] is a process, in which a model is first grossly abstracted, to form a much smaller (and easier to verify) model, and then iteratively refined. At each iteration, a model checker checks the current abstract model. If it can come up with a definite answer (either pass or fail), the process terminates. Otherwise, a refined model is built for the next itera...

Enabling applications to execute various tasks in parallel is difficult if those tasks exhibit read and write conflicts. We recently developed a programming model based on concurrent revisions that addresses this challenge in a novel way: each forked task gets a conceptual copy of all the shared state, and state changes are integrated only when tasks are joined, at which time write-write confli...