{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T00:48:31Z","timestamp":1772498911420,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540092513","type":"print"},{"value":"9783540353126","type":"electronic"}],"license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/bfb0014683","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"553-592","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Semantics of nondeterministic and noncontinuous constructs"],"prefix":"10.1007","author":[{"given":"M.","family":"Broy","sequence":"first","affiliation":[]},{"given":"R.","family":"Gnatz","sequence":"additional","affiliation":[]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"34_CR1","unstructured":"W. Ackermann: Die Widerspruchsfreiheit des Auswahlaxioms. G\u00f6ttinger Wiss. Nachrichten, Math.-Phys. Klasse, 246\u2013250, 1924"},{"key":"34_CR2","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. IBM Research Report RC \u2014 6487, 1976"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/3-540-08442-8_65","volume":"56","author":"A. Arnold","year":"1977","unstructured":"A. Arnold, M. Nivat: Non Deterministic Recursiv Schemes. Fundamentals of Computation Theory. Poznan 1977. Lecture Notes in Computer Science 56, 12\u201321, 1977","journal-title":"Lecture Notes in Computer Science"},{"key":"34_CR4","unstructured":"A. Arnold: Sch\u00e9mas de programmes r\u00e9cursifs non d\u00e9terministes avec appel \"synchrone\". Laboratoire de Calcul, Universit\u00e9 des Sciences et Techniques de Lille, Publication NO 105, 1978"},{"key":"34_CR5","unstructured":"F. L. Bauer, H. W\u00f6ssner, H. Partsch, P. Pepper: Algorithmische Sprachen. Vorlesungsskriptum, Technische Universit\u00e4t M\u00fcnchen 1977, Kap. 1"},{"issue":"12","key":"34_CR6","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/954587.954588","volume":"13","author":"F. L. Bauer","year":"1978","unstructured":"F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner H. Partsch, P. Pepper, H. W\u00f6ssner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. SIGPLAN Notices 13 (12), 15\u201324 (1978). See also this volume.","journal-title":"SIGPLAN Notices"},{"key":"34_CR7","unstructured":"F. L. Bauer: Prealgorithmic Formulations by Means of Choice and Determination. In: this volume."},{"key":"34_CR8","unstructured":"R. M. Burstall, J. A. Goguen: Putting Theories Together to Make Specifications. Proc. of the Int. Joint Conf. on Artificial Intelligence 1977"},{"key":"34_CR9","volume-title":"Semantics and Termination of Nondeterministic Recursive Programs","author":"J. W. de Bakker","year":"1976","unstructured":"J. W. de Bakker: Semantics and Termination of Nondeterministic Recursive Programs. 3rd International Colloquium on Automata, Languages and Programming, Edinburg, 1976"},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/3-540-08353-7_141","volume":"53","author":"J. W. de Bakker","year":"1977","unstructured":"J. W. de Bakker: Semantics of Infinite Processes using generalized trees. Math. Foundations of Computer Sciences 1977, Tatr\u00e0nska Lomnica. Lecture Notes in Computer Sciences 53, 240\u2013247, 1977","journal-title":"Lecture Notes in Computer Sciences"},{"key":"34_CR11","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"E. W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. CACM 18, 453\u2013457, 1975","journal-title":"CACM"},{"key":"34_CR12","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"R. W. Floyd","year":"1967","unstructured":"R. W. Floyd: Nondeterministic Algorithms, JACM 14, 636\u2013644, 1967","journal-title":"JACM"},{"key":"34_CR13","unstructured":"J. V. Guttag: The Specification and Application to Programming of Abstract Data Types. Ph. D. Th., Univ. of Toronto, Dept. Comp. Sci., Rep. CSRG \u2014 59, 1975"},{"key":"34_CR14","volume-title":"The Semantics of Nondeterminism","author":"M. Hennessy","year":"1976","unstructured":"M. Hennessy, E. A. Aschroft: The Semantics of Nondeterminism. 3rd International Colloquium on Automata, Languages and Programming, Edinburg 1976"},{"key":"34_CR15","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01448445","volume":"88","author":"D. Hilbert","year":"1923","unstructured":"D. Hilbert: Die longischen Grundlagen der Mathematik. Math. Ann. 88, 151\u2013165, 1923","journal-title":"Math. Ann."},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"D. Hilbert: Die Grundlagen der Mathematik. Abh. math. Seminar d. Hamburger Universit\u00e4t VI, Heft 1\/2.","DOI":"10.1007\/978-3-663-16102-8_1"},{"key":"34_CR17","first-page":"68","volume-title":"The Axiom of Choice","author":"T. J. Jech","year":"1973","unstructured":"T. J. Jech: The Axiom of Choice. North-Holland, Amsterdam, 68\u201371, 1973"},{"key":"34_CR18","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"S. C. Kleene: Introduction to Metamathematics. North-Holland, Amsterdam 1952"},{"key":"34_CR19","volume-title":"Elements de logique math\u00e9matique","author":"G. Kreisel","year":"1967","unstructured":"G. Kreisel, J. L. Krivine: Elements de logique math\u00e9matique. Dunod, Paris 1967"},{"key":"34_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-3144-8","volume-title":"Introduction to Axiomatic Set Theory","author":"J. L. Krivine","year":"1971","unstructured":"J. L. Krivine: Introduction to Axiomatic Set Theory. Reidel, Dordrecht 1971"},{"issue":"1","key":"34_CR21","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"1","author":"B. Liskov","year":"1975","unstructured":"B. Liskov, S. Zilles: Specification Techniques for Data Abstraction. IEEE Trans. on Software Eng. 1:1, 7\u201318, 1975","journal-title":"IEEE Trans. on Software Eng."},{"key":"34_CR22","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna: Mathematical Theory of Computation. McGraw-Hill, New York 1974"},{"key":"34_CR23","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy: A Basis for a Mathematical Theory of Computation. P. Braffort, D. Hirschberg (eds.) Computer Programming and Formal Systems. North-Holland, Amsterdam 1963"},{"key":"34_CR24","series-title":"Logic Colloquium","volume-title":"Processes: A Mathematical Model of Computing Agents","author":"R. Milner","year":"1973","unstructured":"R. Milner: Processes: A Mathematical Model of Computing Agents. Logic Colloquium 73, North-Holland, Amsterdam 1973"},{"key":"34_CR25","unstructured":"H. Partsch, M. Broy: Examples for Change of Types and Object Structures. In: this volume."},{"key":"34_CR26","unstructured":"P. Pepper: A Study on Transformational Semantics. In: this volume."},{"key":"34_CR27","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G. D. Plotkin: A Powerdomain Construction. SIAM J. on Computing 5, 452\u2013486, 1976","journal-title":"SIAM J. on Computing"},{"key":"34_CR28","volume-title":"Einf\u00fchrung in die mathematische Logik","author":"K. Sch\u00fctte","year":"1967","unstructured":"K. Sch\u00fctte: Einf\u00fchrung in die mathematische Logik. Vorlesungsausarbeitung, Universit\u00e4t M\u00fcnchen 1967"},{"key":"34_CR29","unstructured":"D. Scott: Continuous Lattices. Toposes, Algebraic Geometry and Logic. F. W. Lawvere, Ed., Springer-Verlag Notes, vol. 274, Berlin 1970"},{"key":"34_CR30","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"J. R. Shoenfield: Mathematical Logic. Addison-Wesley, Reading, Massachusetts 1967"},{"key":"34_CR31","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. B. Smyth","year":"1978","unstructured":"M. B. Smyth: Power Domains. J. of Computer and System Sciences 16, 23\u201336, 1978","journal-title":"J. of Computer and System Sciences"},{"key":"34_CR32","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/BF01445300","volume":"59","author":"E. Zermelo","year":"1904","unstructured":"E. Zermelo: Beweis, da\u00df jede Menge wohlgeordnet werde kann. Math. Ann. 59, 514\u2013516, 1904","journal-title":"Math. Ann."}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T05:07:23Z","timestamp":1660885643000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014683"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0014683","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}