The so-called optimistic algorithms follow this approach. The actual effect of an executed command has to equal the intended effect. These three subproblems can be summarized as the consistency maintenance problem. There has been some evidence in the meantime that the problems of consistency maintenance and group undo are closely related. Therefore any research on group undo, especially if it is OT-based, will be of interest to this workshop, too.
Objectives Get to know and analyze different approaches for consistency maintenance.
Gain a better understanding of similarities and differences of the known approaches. Define a common nomenclature. Support the formalization, verification, and optimization of OT-based systems. At Colorado, he is a member of the Systems Software Lab, and the Institute for Cognitive Science. He is involved in research and teaching of groupware, coordination theory, and operating systems.