Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

Reference : Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on...


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/5610

Title :	Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars
Language :	English
Author, co-author :	Gottmann, Susann [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Hermann, Frank [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Nachtigall, Nico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Benjamin, Braatz [> >]
	Ermel, Claudia [> >]
	Ehrig, Hartmut [> >]
	Engel, Thomas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2013
Main document title :	Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13)
Editor :	Baudry, Benoit
	Dingel, Juergen
	Lucio, Levi
	Vangheluwe, Hans
Publisher :	CEUR-WS.org
Collection and collection volume :	CEUR Workshop Proceedings
Peer reviewed :	Yes
Event name :	Int. Workshop on Analysis of Model Transformations 2013 (AMT'13)
Event date :	29-09-2013
Permalink :	http://hdl.handle.net/10993/5610
Commentary :	To appear

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	article.pdf		Author preprint	522.7 kB	Request a copy

All documents in ORBi^lu are protected by a user license.