{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:13:15Z","timestamp":1725891195101},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643036"},{"type":"electronic","value":"9783540697237"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053586","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:46:16Z","timestamp":1149659176000},"page":"107-122","source":"Crossref","is-referenced-by-count":11,"title":["Algebra transformation systems and their composition"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gr\u00f6\\e-Rhode","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1017\/S0960129500000736","volume":"5","author":"E. Astesiano","year":"1995","unstructured":"E. Astesiano and E. Zucca. D-oids: A model for dynamic data types. Math. Struct. in Comp. Sci., 5(2):257\u2013282, 1995.","journal-title":"Math. Struct. in Comp. Sci."},{"key":"8_CR2","unstructured":"R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proc. Int. Conf. Artificial Intelligence, 1977."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In Proc. CAAP'96, Springer LNCS 1059. 1996.","DOI":"10.1007\/3-540-61064-2_41"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1017\/S0960129500000700","volume":"5","author":"I. Cla\\en","year":"1995","unstructured":"I. Cla\\en, M. Gr\u00f6\\e-Rhode, and U. Wolter. Categorical concepts for parameterized partial specifications. Math. Struct. in Comp. Science, 5(2):153\u2013188, 1995.","journal-title":"Math. Struct. in Comp. Science"},{"key":"8_CR5","unstructured":"P. Dauchy and M.C. Gaudel. Algebraic specifications with implicit states. Tech. Report, Univ. Paris Sud, 1994."},{"key":"8_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985."},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specifications. Formal Aspects of Computing, 4(3):239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"8_CR8","unstructured":"J.L. Fiadeiro. Algebraic semantics of coordination. Talk given at the 12th Workshop on Algebraic Development Techniques, Tarquinia, Italy, 1997."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95\u2013146, January 1992.","journal-title":"Journals of the ACM"},{"key":"8_CR10","unstructured":"M. Gr\u00f6\\e-Rhode. First steps towards an institution of algebra replacement systems. Technical Report 96-44, Technische Universit\u00c4t Berlin, 1996. Also available under http:\/\/tfs.cs.tu-berlin.de\/~ mgr."},{"key":"8_CR11","unstructured":"M. Gr\u00f6\\e-Rhode. Sequential and parallel algebra transformation systems and their composition. Technical Report 97-07, Universit\u00e0 di Roma La Sapienza, Dip. Scienze dell'Informazione, 1997. Also available under http:\/\/tfs.cs.tu-berlin.de\/~ mgr."},{"key":"8_CR12","unstructured":"Y. Gurevich. Evolving algebra 1993. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1994."},{"key":"8_CR13","unstructured":"ISO\/IEC International Standard 10746, ITU-T Recommendation X.901-X.904: Reference model of open distributed processing \u2014 Parts 1\u20134."},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1987","unstructured":"H. Reichel. Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, Oxford, 1987."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"G. Winskel and M. Nielson. Models for concurrency. In Handbook of Logic in Computer Science. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198537809.003.0001"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"E. Zucca. From static to dynamic abstract data-types. In W.Penczek and A. Sza\u0142as, editors, Mathematical Foundations of Computer Science 1996, volume 1113 of Lecture Notes in Computer Science, pages 579\u2013590. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61550-4_180"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T18:32:51Z","timestamp":1707071571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643036","9783540697237"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0053586","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}