1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2019
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary c…
math.CT2017★ 1 cited
Van Kampen Colimits and Path Uniqueness
Harald König, Uwe Wolter
Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of o…