Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput

DOI10.1007/S00165-019-00502-2MaRDI QIDQ782503zbMATH OpenOpenAlexWikidataFDO

Authors Zinovy Diskin, Harald König, Mark Lawford

Publication date 27 July 2020

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-019-00502-2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Multiple model synchronization with multiary delta lenses
• Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}
• Corrigendum: ``A domain equation for bisimulation by S. Abramsky
• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)

Cited in

(2)

• Multiple model synchronization with multiary delta lenses
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput

This page was built for publication: Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput

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