@conference {110,
	title = {Model-versioning-in-the-large: Algebraic foundations and the tile notation},
	booktitle = {2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM)},
	year = {2009},
	pages = {7 - 12},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Vancouver, BC, Canada},
	abstract = {Model-versioning-in-the-large is concerned with complex scenarios involving multiple updates and multiple replicas of a model. The paper introduces tile systems as rephrasing of double categories in model versioning terms, and shows that the tile language enables a very general formalization of versioning concepts. The formalization makes the concepts amenable to algebraic analysis and provides a convenient notation for version system designers. It also allows one to formulate algebraic laws that a correct versioning system must or may want to satisfy.},
	isbn = {978-1-4244-3714-6},
	doi = {10.1109/CVSM.2009.5071715},
	url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=5071715},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/CVSM_at_ICSE09_Zinovy_Xiong_Czarnecki.pdf , http://gsd.uwaterloo.ca/sites/default/files/cvsm09-presentation.pdf},
	author = {Diskin, Zinovy and Krzysztof Czarnecki and Micha{\l} Antkiewicz}
}