Click on a search word OR use the drop-down choices to search for a paper.
Click on a search word OR use the drop-down choices to search for a paper.
Diskin, Zinovy; Konig, Harald; Lawford, Mark
Non-concurrent Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput Technical Report
2019.
Links | BibTeX | Tags: K-Putput, multiary delta lenses, multiple model synchronization
@techreport{Diskin2019,
title = {Non-concurrent Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput},
author = {Diskin, Zinovy and Harald Konig and Lawford, Mark },
url = {https://www.mcscert.ca/wp-content/uploads/2019/05/McSCert-Technical-Report-30.pdf},
year = {2019},
date = {2019-05-30},
keywords = {K-Putput, multiary delta lenses, multiple model synchronization},
pubstate = {published},
tppubtype = {techreport}
}