Click on a search word OR use the drop-down choices to search for a paper.

Show all

2019

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