Partial updates

DOI10.1016/J.TCS.2004.11.010MaRDI QIDQ555785zbMATH OpenOpenAlexFDO

Authors Yuri Gurevich, Nikolai Tillmann

Publication date 10 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.11.010

zbMATH Keywords

Abstract state machinesApplicative algebraAsmLParallel compositionSequencesTransactionsUpdates

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1951184
• A rigorous analysis of concurrent operations on B-trees
• Override and update
• Sequential, Parallel, and Quantified Updates of First-Order Structures
• Making data structures persistent

Cites work

• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide

Cited in

(8)

• scientific article; zbMATH DE number 1951184 (Why is no real title available?)
• Composing model programs for analysis
• Sequential, Parallel, and Quantified Updates of First-Order Structures
• scientific article; zbMATH DE number 69458 (Why is no real title available?)
• Concurrent abstract state machines
• Applying an update method to a set of receivers
• scientific article; zbMATH DE number 4174359 (Why is no real title available?)
• Merging hierarchically-structured documents in workflow systems

Describes a project that uses

Uses Software

• Word
• AsmL

This page was built for publication: Partial updates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555785)