{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T07:08:19Z","timestamp":1750489699599},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424963"},{"type":"electronic","value":"9783540446835"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44683-4_40","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:32:38Z","timestamp":1188336758000},"page":"451-463","source":"Crossref","is-referenced-by-count":5,"title":["Checking Amalgamability Conditions forCasl Architectural Specifications"],"prefix":"10.1007","author":[{"given":"Bartek","family":"Klin","sequence":"first","affiliation":[]},{"given":"Piotr","family":"Hoffman","sequence":"additional","affiliation":[]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,5]]},"reference":[{"key":"40_CR1","first-page":"266","volume":"5","author":"M. Bednarczyk","year":"1999","unstructured":"M. Bednarczyk, M. Borzyszkowski, and W. Paw\u0142owski. Generalized congruences-epimorphisms in Cat. Theory and Applications of Categories 5 (1999), 266\u2013280.","journal-title":"Theory and Applications of Categories"},{"key":"40_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-49253-4_25","volume-title":"Algebraic Methodology and Software Technology","author":"M. Bidoit","year":"1999","unstructured":"M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in Casl. Algebraic Methodology and Software Technology, LNCS 1548, 341\u2013357. Springer, 1999."},{"key":"40_CR3","unstructured":"CoFI Semantics Task Group. Casl-The CoFI Algebraic Specification Language-Semantics. Note S-9 (v. 0.96), July 1999. Accessible by WWW2 and FTP3."},{"key":"40_CR4","unstructured":"CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary, version 1.0.1, June 2000. Accessible by WWW2 and FTP3."},{"key":"40_CR5","volume-title":"Handbook of Mathematical Logic","author":"M. Davis","year":"1977","unstructured":"M. Davis. Unsolvable Problems. in: J. Barwise (ed.), Handbook of Mathematical Logic, North Holland, Amsterdam, 1977."},{"key":"40_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall. Institutions: Abstract model theory for specifications and programming. J. ACM 39 (1992), 95\u2013146.","journal-title":"J. ACM"},{"key":"40_CR7","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, 1979."},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"L. C. Paulson. ML for the Working Programmer (2nd ed.). Cambridge, 1996.","DOI":"10.1017\/CBO9780511811326"},{"key":"40_CR9","unstructured":"L. Schr\u00f6der. Composition Graphs and Free Extensions of Categories (in German). Ph.D. thesis, University of Bremen, 1999; also: Logos, Berlin, 1999."},{"key":"40_CR10","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1023\/A:1008651618062","volume":"8","author":"L. Schr\u00f6der","year":"2000","unstructured":"L. Schr\u00f6der and H. Herrlich. Free adjunction of morphisms. Applied Categorical Structures 8 (2000), 595\u2013606.","journal-title":"Applied Categorical Structures"},{"key":"40_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45314-8_19","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Schr\u00f6der","year":"2001","unstructured":"L. Schr\u00f6der, T. Mossakowski, A. Tarlecki, B. Klin, and P. Hoffman. Semantics of Architectural Specification in Casl. Fundamental Approaches to Software Engineering, LNCS 2029, 253\u2013268. Springer, 2001."},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"L. Schr\u00f6der, T. Mossakowski, A. Tarlecki. Amalgamation via enriched Casl signatures. ICALP 2001, to appear.","DOI":"10.1007\/3-540-48224-5_80"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44683-4_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:27:49Z","timestamp":1556803669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44683-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424963","9783540446835"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44683-4_40","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}