Partial updates exploration II

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2589, Issue , 2003, Pages 57-86

  Gurevich, Yuri ^a   Tillmann, Nikolai ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; QUERY LANGUAGES;

ABSTRACT STATE MACHINES; COLLABORATIVE EDITING; GENERAL SOLUTIONS; LABELED ORDERED TREE; MATHEMATICAL OBJECTS; PARTIAL UPDATES;

PROBLEM SOLVING;

EID: 35248880199     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Review

References (6)

1. Andreas Blass and Yuri Gurevich, "Background, reserve, and Gandy machines," in Computer Science Logic, P. Clote and H. Schwichtenberg, eds., Springer Lecture Notes in Computer Science 1862 (2000), 1-17.
2. Andreas Blass and Yuri Gurevich, "Abstract state machines capture parallel algorithms," ACM Transactions on Computation Logic, to appear.
3. ASM Michigan web page, http://www.eecs.umich.edu/gasm, maintained by Jim Huggins.
4. Foundations of Software Engineering, Microsoft Research, web page, http://research.microsoft.com/fse/.
5. Yuri Gurevich, "Evolving algebra 1993: Lipari guide," in Specification and Validation Methods, E. Börger, ed., Oxford Uni. Press (1995) 9-36.
6. Yuri Gurevich and Nikolai Tillmann, "Partial Updates: Exploration," in Journal of Universal Computer Science (J.UCS), 7(11):917-951, 2001.