Checking amalgamability conditions for Casl architectural specifications (2001)
Cached
Download Links
by
Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
| Venue: | PROC. INTL. SYMP. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS 2001. SPRINGER LNCS 2136 |
| Citations: | 12 - 9 self |
BibTeX
@INPROCEEDINGS{Klin01checkingamalgamability,
author = {Bartek Klin and Piotr Hoffman and Andrzej Tarlecki and Lutz Schröder and Till Mossakowski},
title = {Checking amalgamability conditions for Casl architectural specifications},
booktitle = {PROC. INTL. SYMP. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS 2001. SPRINGER LNCS 2136},
year = {2001},
pages = {451--463},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 1 | Generalized congruences - epimorphisms in Cat. Theory and Applications of Categories 5 - Bednarczyk, Borzyszkowski, et al. - 1999 |
