Verified Operational Transformation for Trees

DOI10.1007/978-3-319-43144-4_22zbMATH Open1478.68176OpenAlexW2477769953MaRDI QIDQ2829271FDOQ2829271

Sergey Sinchuk, Konstantin Solomatov, Pavel Chuprikov

Publication date: 27 October 2016

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-43144-4_22

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• Proof of correctness of Ressel's adopted algorithm
• Formal design and verification of operational transformation algorithms for copies convergence
• On Synthesizing a Consistent Operational Transformation Approach

Cited In (1)

• Computer Aided Verification

Uses Software

• Coq
• Coq/SSReflect

Recommendations

• Title not available (Why is that?) 👍 👎
• Higher-order multi-parameter tree transducers and recursion schemes for program verification 👍 👎
• Verification of tree-processing programs via higher-order mode checking 👍 👎
• Tree Transformations and Dependencies 👍 👎
• A hierarchy of deterministic top-down tree transformations 👍 👎
• Transition operations over plane trees 👍 👎

This page was built for publication: Verified Operational Transformation for Trees

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