{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:51Z","timestamp":1725664491309},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_211","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:12:15Z","timestamp":1330276335000},"page":"424-438","source":"Crossref","is-referenced-by-count":0,"title":["Generated models and the \u03c9-rule: The nondeterministic case"],"prefix":"10.1007","author":[{"given":"Michal","family":"Walicki","sequence":"first","affiliation":[]},{"given":"Sigurd","family":"Meldal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"28_CR1","unstructured":"Bergstra, J.A., Klop, J.W., \u201cAlgebra of communicating processes,\u201d Proc. of CWI Symposium on Mathematics and CS, 89\u2013138, Oct. 6\u20137 1986."},{"key":"28_CR2","first-page":"553","volume":"69","author":"M. Broy","year":"1980","unstructured":"Broy, M., Gnatz, R., Wirsing, M., \u201cSemantics of Nondeterministic and Noncontinuous Constructs,\u201d LNCS, vol. 69, Springer, 1980, pp. 553\u2013392.","journal-title":"LNCS"},{"key":"28_CR3","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-10828-9_61","volume":"112","author":"M. Broy","year":"1981","unstructured":"Broy, M., Wirsing, M., \u201cOn the Algebraic Specification of Nondeterministic Programming Languages,\u201d in CAAP'81, LNCS, vol. 112, Springer, 1981, pp. 162\u2013179.","journal-title":"CAAP'81, LNCS"},{"key":"28_CR4","unstructured":"Broy, M., \u201cOn the Herbrand Kleene universe for nondeterministic computations,\u201d in Proc. MFCS'84, LNCS, vol. 176, Springer, 1984."},{"key":"28_CR5","volume-title":"Model Theory","author":"C.C. Chang","year":"1977","unstructured":"Chang, C.C., Keisler, H.J., Model Theory, Amsterdam, North-Holand, 1977."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Clinger, W., \u201cNondeterministic call by need is neither lazy nor by name,\u201d Proc. ACM Symp. LISP and Functional Programming, 226\u2013234, 1982.","DOI":"10.1145\/800068.802154"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B., Fundamentals of Algebraic Specification, vol. 1, Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"28_CR8","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/S0022-0000(77)80034-2","volume":"15","author":"J. Engelfriet","year":"1977","unstructured":"Engelfriet, J., Schmidt, E.M., \u201cIO and OI. 1,\u201d Journal of Computer and System Sciences, vol. 15, 328\u2013353, 1977.","journal-title":"Journal of Computer and System Sciences"},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0022-0000(78)90051-X","volume":"16","author":"J. Engelfriet","year":"1978","unstructured":"Engelfriet, J., Schmidt, E.M., \u201cIO and OI. 2,\u201d Journal of Computer and System Sciences, vol. 16, 67\u201399, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J., \u201cCompleteness of Many-Sorted Equational Logic,\u201d SIGPLAN Notices, vol. 16, no. 7, 1981.","DOI":"10.1145\/947864.947865"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J., \u201cUniversal realization, persistent interconnection and implementation of abstract modules,\u201d in Proc., 9th Int. Coll. on Automata, Languages and Programming, LNCS, vol. 140, Springer, 1982.","DOI":"10.1007\/BFb0012775"},{"issue":"no.4","key":"28_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/24714.24719","volume":"22","author":"J.A. Goguen","year":"1987","unstructured":"Goguen, J.A., Meseguer, J., \u201cRemarks on Remarks on Many-Sorted Equational Logic,\u201d SIGPLAN Notices, vol. 22, no. 4, 41\u201348, April 1987.","journal-title":"SIGPLAN Notices"},{"key":"28_CR13","unstructured":"Goguen, J.A., What is unification? A categorical view of substitution, equation, and solution, Tech. Rep. CSLI-88-124, Center for Study of Languages and Information, 1988."},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Hennessy, M.C.B., \u201cThe semantics of call-by-value and call-by-name in a nondeterministic environment,\u201d SIAM J. Comput., vol. 9, no. 1, 1980.","DOI":"10.1137\/0209005"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Hesselink, W.H., \u201cA Mathematical Approach to Nondeterminism in Data Types,\u201d ACM Transactions on Programming Languages and Systems, vol. 10, 1988.","DOI":"10.1145\/42192.42194"},{"key":"28_CR16","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall International Ltd., 1985."},{"key":"28_CR17","unstructured":"Hu\u00dfmann, H., Nondeterministic Algebraic Specifications, Ph.D. thesis, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, 1990."},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Hu\u00dfmann, H., Nondeterminism in Algebraic Specifications, and Algebraic Programs, Birkh\u00e4user, 1993.","DOI":"10.1007\/978-1-4684-6834-2"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Huet, G., Oppen, D., \u201cEquations and Rewrite Rules: A Survey,\u201d in Formal Language Theory: Perspectives and Open Problems, Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Kaplan, S., \u201cConditional Rewriting,\u201d in Conditional Term Rewriting Systems, LNCS, vol. 308, Springer, 1987.","DOI":"10.1007\/3-540-17220-3_3"},{"key":"28_CR21","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0304-3975(86)90005-8","volume":"56","author":"S. Kaplan","year":"1988","unstructured":"Kaplan, S., \u201cRewriting with a Nondeterministic Choice Operator,\u201d Theoretical Computer Science, vol. 56, 37\u201357, 1988.","journal-title":"Theoretical Computer Science"},{"key":"28_CR22","unstructured":"Kapur, D., Towards a theory of abstract data types, Ph.D. thesis, Laboratory for CS, MIT, 1980."},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"Milner, R., Calculi for Communicating Systems, LNCS vol. 92, Springer, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Mosses, P.D., \u201cUnified Algebras and Institutions,\u201d in Proc. of LICS'89, Fourth Annual Symposium on Logic in Computer Science, 1989.","DOI":"10.1109\/LICS.1989.39185"},{"key":"28_CR25","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/BF00263649","volume":"22","author":"T. Nipkow","year":"1986","unstructured":"Nipkow, T., \u201cNon-deterministic Data Types: Models and Implementations,\u201d Acta Informatica, vol. 22, 629\u2013661, 1986.","journal-title":"Acta Informatica"},{"key":"28_CR26","doi-asserted-by":"crossref","unstructured":"Nipkow, T., \u201cObserving nondeterministic data types,\u201d in Recent Trends in Data Type Specification, LNCS, vol. 332, Springer, 1987.","DOI":"10.1007\/3-540-50325-0_9"},{"key":"28_CR27","unstructured":"Nourani, F., \u201cOn induction for program logic: Syntax, semantics, and inductive closure,\u201d EATCS Bulletin, vol. 13, 1981."},{"issue":"no.3","key":"28_CR28","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"Plotkin, G., \u201cA power domain construction,\u201d SIAM Jour. Comp., vol. 5, no. 3, 452\u2013487, 1976.","journal-title":"SIAM Jour. Comp."},{"key":"28_CR29","unstructured":"Plotkin, G., Apt, K.R., \u201cCountable Nondeterminism and Random Assignment,\u201d Tech. Rep. University of Edinburgh, 1982."},{"key":"28_CR30","unstructured":"S\u00f8ndergaard, H., Sestoft, P., Non-Determinacy and Its Semantics, Tech. Rep. 86\/12, Datalogisk Institut, K\u00f8benhavns Universitet, January 1987."},{"key":"28_CR31","doi-asserted-by":"crossref","unstructured":"Smyth, M.B., \u201cPower domains,\u201d J. of Computer and System Sciences, vol. 16, 1978.","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"28_CR32","doi-asserted-by":"crossref","unstructured":"Volger, H., \u201cThe semantics of disjunctive deductive databases,\u201d in CSL'89, LNCS, vol. 440, Springer, 1989.","DOI":"10.1007\/3-540-52753-2_55"},{"key":"28_CR33","doi-asserted-by":"crossref","unstructured":"Walicki, M.A., Meldal, S., \u201cSingular and plural nondeterministic parameters,\u201d SIAM Joum. of Computing (submitted),.","DOI":"10.1137\/S0097539794264317"},{"key":"28_CR34","doi-asserted-by":"crossref","unstructured":"Walicki, M.A., Meldal, S., \u201cA complete calculus for the multialgebraic and functional semantics of nondeterminism,\u201d ACM Transactions on Programming Languages and Systems (submitted),.","DOI":"10.1145\/201059.201070"},{"key":"28_CR35","unstructured":"Walicki, M., Meldal, S., \u201cSets and Nondeterminism,\u201d in Proc. of the Workshop on Logic Programming with Sets: ICLP'93, 1993."},{"key":"28_CR36","unstructured":"Walicki, M., Algebraic Specifications of Nondeterminism, Ph.D. thesis, University of Bergen, Department of Informatics, 1993."},{"key":"28_CR37","unstructured":"Walicki, M., Meldal, S., \u201cInitiality + Nondeterminism Implies Junk,\u201d in Proc. of NIK'93, Haveraaen, M., Tapir, November 1993, pp. 129\u2013138."},{"key":"28_CR38","doi-asserted-by":"crossref","unstructured":"Walicki, M., Meldal, S., \u201cMultialgebras, Power Algebras and Complete Calculi of Identities and Inclusions,\u201d to be publsihed in Recent Trends in Data Type Specifications, LNCS 1995.","DOI":"10.1007\/BFb0014444"},{"key":"28_CR39","unstructured":"Winskel, G., \u201cAn introduction to event structures,\u201d LNCS, vol. 354, Springer, 1988."},{"key":"28_CR40","unstructured":"Wirsing, M., Algebraic Specification, Tech. Rep. MIP-8914, Universit\u00e4t Passau, 1989."},{"key":"28_CR41","doi-asserted-by":"crossref","unstructured":"Wirsing, M., \u201cAlgebraic Specification,\u201d in Handbook of Theoretical Computer Science, vol. B, The MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"28_CR42","doi-asserted-by":"crossref","unstructured":"Wolter, U., L\u00f6we, M., \u201cBeyond Conditional Equations,\u201d in CAAP'92, LNCS, vol. 581, Springer, 1992.","DOI":"10.1007\/3-540-55251-0_19"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_211.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:35Z","timestamp":1605648395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_211","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}