Partial updates

Theoretical Computer Science

Volumn 336, Issue 2, 2005, Pages 311-342

  Gurevich, Yuri ^a   Tillmann, Nikolai ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Abstract state machines; Applicative algebra; AsmL; Parallel composition; Sequences; Transactions; Updates

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA REDUCTION; DATABASE SYSTEMS; FILE ORGANIZATION; KNOWLEDGE BASED SYSTEMS; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

ABSTRACT STATE MACHINES (ASM); APPLICATIVE ALGEBRA; ASML; PARALLEL COMPOSITION; PARTIAL UPDATES; SEQUENCES; TRANSACTIONS;

DATA STRUCTURES;

EID: 18144376365     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.11.010     Document Type: Conference Paper

References (16)

1. E. Allman, An Introduction to the Source Code Control System, University of California at Berkeley, Working paper, 1980.
2. The ASM academic web page, http://www.eecs.umich.edu/gasm, maintained by Jim Huggins.
3. B. Berliner, CVS II: Parallelizing Software Development, Proc. Winter 1990 USENIX Association Conf., 1990.
4. G. Birkhoff, Lattice Theory, Colloquium Publications XXV, 3rd ed., American Mathematical Society, Providence, RI, 1967.
5. E. Börger, and R. Stärk Abstract State Machines A Method for High-Level System Design and Analysis 2003 Springer Berlin, Heidelberg
6. C.A. Ellis, S.J. Gibbs, Concurrency control in groupware systems, Proc. ACM SIGMOD Conf. on Management of Data, May 1989, pp. 399-407.
7. The web page of the group on Foundations of Software Engineering at Microsoft Research, http://research.microsoft.com/fse/.
8. GNU, Comparing and Merging Files, Edition 2.8.1, dated 5 April 2002, http://www.gnu.org/software/diffutils/manual/html_node/index.html.
9. Y. Gurevich Evolving Algebra 1993 Lipari Guide E. Börger Specification and Validation Methods 1995 Oxford University Press Oxford 9 36
10. Y. Gurevich, and N. Tillmann Partial updates exploration Springer J. Univ. Comput. Sci. 7 11 2001 917 951
11. Microsoft Word, Comparing and Merging Documents, http://office.microsoft.com/ assistance/category.aspx?CategoryID=CH063551081033.
12. M. Ressel, D. Nitsche-Ruhland, R. Gunzenhauser, An integrating, transformation-oriented approach to concurrency control and undo in group editors, Proc. ACM Conf. on Computer Supported Cooperative Work, 1996, pp. 288-297.
13. M. Suleiman, M. Cart, J. Ferrié, Serialization of concurrent operations in distributed collaborative environment, Proc. ACM Internat. Conf. on Supporting Group Work (GROUP'97), Phoenix, November 1997, pp. 435-445.
14. C. Sun, C. Ellis, Operational transformation in real-time group editors: issues, algorithms, and achievements, Proc. ACM Conf. on Computer-Supported Cooperative Work, The ASM academic web page, http://www.eecs.umich.edu/gasm, maintained by Jim Huggins, 1998, pp. 59-68.
15. C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems ACM Trans. Computer-Human Interaction 5 1 1998 63 108
16. W.F. Tichy, Design, implementation and evaluation of a revision control system, Proc. 6th Internat. Conf. on Software Engineering, IEEE, Tokyo, September 1982.