Partial updates exploration. II

DOI10.1007/3-540-36498-6_4MaRDI QIDQ4413671zbMATH OpenFDO

Authors Nikolai Tillmann, Yuri Gurevich

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890057.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Partial updates
• scientific article; zbMATH DE number 4162254
• Expedition in the update universe
• scientific article; zbMATH DE number 33190
• An update on ``might
• Updates and counterfactuals
• scientific article; zbMATH DE number 140392
• Updating toward the signal

Cited in

(3)

• Merging hierarchically-structured documents in workflow systems
• Sequential, Parallel, and Quantified Updates of First-Order Structures
• Partial updates

This page was built for publication: Partial updates exploration. II

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