by Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder and Till Mossakowski
Reference:
Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder and Till Mossakowski: Checking amalgamability conditions for CASL architectural specifications, In Jiri Sgall, Ales Pultr, Petr Kolman, eds.: Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, vol. 2136, pp. 512–523, Springer; Berlin; http://www.springer.de, 2001. [preprint]
Bibtex Entry:
@InProceedings{KlinHoffman01,
author = {Bartek Klin and Piotr Hoffman and Andrzej Tarlecki and Lutz Schr{\"o}der and Till Mossakowski},
title = {Checking amalgamability conditions for {CASL} architectural specifications},
year = {2001},
editor = {Jiri Sgall and Ales Pultr and Petr Kolman},
booktitle = {Mathematical Foundations of Computer Science},
publisher = {Springer; Berlin; http://www.springer.de},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {512--523},
keywords = {Amalgamation CASL architechtural specifications},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2136&spage=451},
comment = {<a href="http://www8.informatik.uni-erlangen.de/~schroeder/papers/amalgcheck.ps">[preprint]</a>},
}