{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:06:24Z","timestamp":1742911584315,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_19","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"328-342","source":"Crossref","is-referenced-by-count":0,"title":["Combining Specification Formalisms in the \u2018General Logic\u2019 of Multialgebras"],"prefix":"10.1007","author":[{"given":"Yngve","family":"Lamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Walicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511600579","volume-title":"Locally Presentable and Accessible Categories","author":"J. Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)"},{"key":"19_CR2","first-page":"357","volume":"36","author":"M. Bia\u0142asik","year":"1999","unstructured":"Bia\u0142asik, M., Konikowska, B.: Reasoning with first-order nondeterministic specifications. Acta Informatica\u00a036, 357\u2013403 (1999)","journal-title":"Acta Informatica"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/BF02483730","volume":"15","author":"P. Burmeister","year":"1982","unstructured":"Burmeister, P.: Partial algebra - an introductory survey. Algebra Universalis\u00a015, 306\u2013358 (1982)","journal-title":"Algebra Universalis"},{"key":"19_CR4","series-title":"ch. 3","volume-title":"on Algebraic Foundations of Systems Specification","author":"M. Cerioli","year":"1999","unstructured":"Cerioli, M., Mossakowski, T., Reichel, H.: From total equational to partial first order. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) on Algebraic Foundations of Systems Specification. ch. 3, Springer, Heidelberg (1999)"},{"key":"19_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6834-2","volume-title":"Nondeterminism in Algebraic Specifications and Algebraic Programs","author":"H. Hussmann","year":"1993","unstructured":"Hussmann, H.: Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkh\u00e4user, Basel (1993)"},{"key":"19_CR6","unstructured":"Lamo, Y.: Institution of multialgebras as a general framework for algebric specification. PhD thesis, University of Bergen, Department of Informatics (2002)"},{"key":"19_CR7","unstructured":"Lamo, Y., Walicki, M.: Modeling partiality by nondeterminism. In: Callaos, N., Pineda, J.M., Sanchez, M. (eds.) Proceedings of SCI\/ISAS 2001, Orlando, FL, vol.\u00a0I (2001)"},{"key":"19_CR8","first-page":"278","volume":"8","author":"Y. Lamo","year":"2001","unstructured":"Lamo, Y., Walicki, M.: Specification of parameterized data types: Persistency revisited. Nordic Journal of Computing\u00a08, 278\u2013303 (2001)","journal-title":"Nordic Journal of Computing"},{"key":"19_CR9","volume-title":"Proceedings of the REFINE 2002 workshop","author":"Y. Lamo","year":"2002","unstructured":"Lamo, Y., Walicki, M.: Composition and refinement of specifications and parameterised data types. In: Derrick, J., Boiten, E., Woodcock, J., von Wright, J. (eds.) Proceedings of the REFINE 2002 workshop, vol.\u00a070\/3. Elsevier Science Publishers, Amsterdam (2002), http:\/\/www.elsevier.com\/gejng\/31\/29\/23\/125\/48\/show\/Products\/notes\/index.htt#001"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-64299-4_41","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Martini","year":"1998","unstructured":"Martini, A., Wolter, U.: A systematic study of mappings between institutions. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 300\u2013315. Springer, Heidelberg (1998)"},{"key":"19_CR11","first-page":"275","volume-title":"Logic colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Ebbinghaus, H.-D., et al. (eds.) Logic colloquium 1987, pp. 275\u2013329. Elsevier Science Publisher B.V(North-Holland), Amsterdam (1989)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-61377-3_51","volume-title":"Computer Science Logic","author":"T. Mossakowski","year":"1996","unstructured":"Mossakowski, T.: Equivalences among various logical frameworks of partial algebras. In: Kleine B\u00fcning, H. (ed.) CSL 1995. LNCS, vol.\u00a01092, pp. 403\u2013433. Springer, Heidelberg (1996)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Mosses, P.: Unified algebras and institutions. In: Proceedings of LICS 1989, 4-th Annual Symposium (1989)","DOI":"10.1109\/LICS.1989.39185"},{"key":"19_CR15","series-title":"ch. 6","volume-title":"on Algebraic Foundations of Systems Specification","author":"F. Orejas","year":"1999","unstructured":"Orejas, F.: Structuring and modularity. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) on Algebraic Foundations of Systems Specification. ch. 6. Springer, Heidelberg (1999)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Pliu\u0161kievi\u010dien\u0117, A.: Specialization of the use of axioms for deduction search in axiomatic theories with equality. J. Soviet Math.\u00a01 (1973)","DOI":"10.1007\/BF01117477"},{"key":"19_CR17","series-title":"ch. 4","volume-title":"on Algebraic Foundations of Systems Specification","author":"A. Tarlecki","year":"1999","unstructured":"Tarlecki, A.: Institutions: An abstract framework for formal specifications. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) on Algebraic Foundations of Systems Specification. ch. 4. Springer, Heidelberg (1999)"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-44669-9_34","volume-title":"Fundamentals of Computation Theory","author":"M. Walicki","year":"2001","unstructured":"Walicki, M., Hodzic, A., Meldal, S.: Compositional homomorphisms of relational structures (modeled as multialgebras). In: Freivalds, R. (ed.) FCT 2001. LNCS, vol.\u00a02138, p. 359. Springer, Heidelberg (2001)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Walicki, M., Meldal, S.: A complete calculus for the multialgebraic and functional semantics of nondeterminism. ACM TOPLAS\u00a017(2) (March 1995)","DOI":"10.1145\/201059.201070"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Algebraic Specification Techniques","author":"M. Walicki","year":"1995","unstructured":"Walicki, M., Meldal, S.: Multialgebras, power algebras and complete calculi of identities and inclusions. In: Recent Trends in Algebraic Specification Techniques. LNCS, vol.\u00a0906. Springer, Heidelberg (1995)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Walicki, M., Meldal, S.: Algebraic approaches to nondeterminism-an overview. ACM Computing Surveys\u00a029 (1997)","DOI":"10.1145\/248621.248623"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:38Z","timestamp":1559199278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}