{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:03:31Z","timestamp":1749737011555},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506676"},{"type":"electronic","value":"9783540460633"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"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":[[1988]]},"DOI":"10.1007\/3-540-50667-5_56","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:30:27Z","timestamp":1330201827000},"page":"31-40","source":"Crossref","is-referenced-by-count":2,"title":["Nondeterministic algebraic specifications and nonconfluent term rewriting"],"prefix":"10.1007","author":[{"given":"Heinrich","family":"Hussmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-09510-1_1","volume-title":"6th Internat. Coll on Automata, Languages and Programming","author":"E. Astesiano","year":"1979","unstructured":"E. Astesiano, G. Costa, Sharing in nondeterminism, in: H. A. Maurer (ed.), 6th Internat. Coll on Automata, Languages and Programming, Lecture Notes in Computer Science 71 (Springer, Berlin, 1979), 1\u201313."},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/0022-0000(79)90013-8","volume":"19","author":"D. B. Benson","year":"1979","unstructured":"D. B. Benson, Parameter passing in nondeterministic recursive programs, J. Comput. System Sci.\n19 (1979) 50\u201362.","journal-title":"J. Comput. System Sci."},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-10828-9_61","volume-title":"6th Coll. on Trees in Algebra and Programming","author":"M. Broy","year":"1981","unstructured":"M. Broy, M. Wirsing, On the algebraic specification of nondeterministic programming languages, in: E. Astesiano, C. B\u00f6hm (eds.), 6th Coll. on Trees in Algebra and Programming, Lecture Notes in Computer Science 112 (Springer, Berlin, 1981) 162\u2013179."},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy, M. Wirsing, Partial abstract types, Acta Informat.\n18 (1982) 47\u201364.","journal-title":"Acta Informat."},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF01191781","volume":"16","author":"G. E. Hansoul","year":"1983","unstructured":"G. E. Hansoul, A subdirect decomposition theorem for multialgebras, Algebra Universalis, 16 (1983) 275\u2013281.","journal-title":"Algebra Universalis"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1137\/0209005","volume":"9","author":"M. C. B. Hennessy","year":"1980","unstructured":"M. C. B. Hennessy, The semantics of call-by-value and call-by-name in a nondeterministic environment. SIAM J. Comput.\n9 (1980) 67\u201384.","journal-title":"SIAM J. Comput."},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/42192.42194","volume":"10","author":"W. H. Hesselink","year":"1988","unstructured":"W. H. Hesselink, A mathematical approach to nondeterminism in data types. ACM Trans. on Progr. Languages and System\n10 (1988) 87\u2013117","journal-title":"ACM Trans. on Progr. Languages and System"},{"key":"4_CR8","volume-title":"Formal Language Theory: Perspectives and Open Problems","author":"G. Huet","year":"1980","unstructured":"G. Huet, D. C. Oppen, Equations and rewrite rules: a survey, in: R. V. Book (ed.), Formal Language Theory: Perspectives and Open Problems, (Academic Press, New York,1980)."},{"key":"4_CR9","unstructured":"H. Hussmann, Rapid prototyping for algebraic specifications \u2014 RAP system user's manual. Report MIP-8504, Universit\u00e4t Passau, Passau, 1985, 2nd, extended edition 1987."},{"key":"4_CR10","unstructured":"H. Hussmann, Nichtdeterministische Algebraische Spezifikationen (in German), Ph. D. thesis, University of Passau, 1988."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(86)90005-8","volume":"56","author":"S. Kaplan","year":"1988","unstructured":"S. Kaplan, Rewriting with a nondeterministic choice operator, Theoret. Comput. Sci.\n56 (1988) 37\u201357.","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/BF00263649","volume":"22","author":"T. Nipkow","year":"1986","unstructured":"T. Nipkow, Nondeterministic data types: Models and implementations, Acta Informat.\n22(1986) 629\u2013661.","journal-title":"Acta Informat."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"327","DOI":"10.2140\/pjm.1967.21.327","volume":"21","author":"H. E. Pickett","year":"1967","unstructured":"H. E. Pickett, Homomorphisms and subalgebras of multialgebras, Pacific J. of Math.\n21 (1967) 327\u2013342.","journal-title":"Pacific J. of Math."},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-10843-2_12","volume-title":"8th Internat. Coll. on Algorithms, Languages and Programming","author":"P. A. Subrahmanyam","year":"1981","unstructured":"P. A. Subrahmanyam, Nondeterminism in abstract data types, in: S. Even, O. Kariv (eds.), 8th Internat. Coll. on Algorithms, Languages and Programming, Lecture Notes in Computer Science 115 (Springer, Berlin, 1981) 148\u2013164."},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy, On hierarchies of abstract data types, Acta Informat.\n20 (1983) 1\u201333.","journal-title":"Acta Informat."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,2]],"date-time":"2019-02-02T13:05:55Z","timestamp":1549112755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}