@conference {168,
	title = {Algebraic Models for Bidirectional Model Synchronization},
	booktitle = {MoDELS 2008},
	year = {2008},
	month = {10/2008},
	publisher = {Springer},
	organization = {Springer},
	address = {Toulouse France},
	abstract = {The paper presents several algebraic models for semantics of
bidirectional model synchronization and transformation. Different
types of model synchronization are analyzed (view updates, selective
and incremental synchronization), and this analysis motivates the
formal definitions. Particularly, a new formal model of updates is
proposed. Relationships between the formal models are precisely
specified and discussed.},
	author = {Diskin, Zinovy}
}