Constant Complements, Reversibility and Universal View Updates
From MaRDI portal
Publication:5505427
DOI10.1007/978-3-540-79980-1_19zbMath1170.68456OpenAlexW59453251MaRDI QIDQ5505427
Michael Johnson, Robert D. Rosebrugh
Publication date: 27 January 2009
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_19
Related Items (2)
Fibrations and universal view updatability ⋮ A formalisation of the copy-modify-merge approach to version control in MDE
This page was built for publication: Constant Complements, Reversibility and Universal View Updates