{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:08:08Z","timestamp":1780628888097,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540108283","type":"print"},{"value":"9783540387169","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_61","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:25:34Z","timestamp":1330172734000},"page":"162-179","source":"Crossref","is-referenced-by-count":23,"title":["On the algebraic specification of nondeterministic programming languages"],"prefix":"10.1007","author":[{"given":"M.","family":"Broy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"11_CR1","unstructured":"K.R. Apt, G.D. Plotkin: A Cook's Tour of Contable Noundeterminism. Submitted for publication"},{"key":"11_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05656-1","volume-title":"Algorithmische Sprache und Programmentwicklung","author":"F.L. Bauer","year":"1981","unstructured":"F.L. Bauer, H. W\u00f6ssner: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981, to appear"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0020-0190(80)90009-5","volume":"11","author":"M. Broy","year":"1980","unstructured":"M. Broy: Transformational Semantics for Concurrent Programs. IPL 11:2, October 1980, 87\u201391","journal-title":"IPL"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"M. Broy, R. Gnatz, M. Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. In: F.L. Bauer, M. Broy (eds.): Program Construction, Marktoberdorf 78. LNCS 69","DOI":"10.1007\/BFb0014683"},{"key":"11_CR5","unstructured":"M. Broy, M. Wirsing: Programming Languages as Abstract Data Types. In: M. Dauchet (ed.): Lille Colloque 80"},{"key":"11_CR6","unstructured":"M. Broy, M. Wirsing: Initial Versus Terminal Algebra Semantics for Partially Defined Abstract Types. Techn. Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUMI 8018, Dezember 1980"},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0020-0190(80)90138-6","volume":"10","author":"M. Broy","year":"1980","unstructured":"M. Broy, M. Wirsing: From Enumeration to Backtracking. IPL 10:4, July 1980, 193\u2013197","journal-title":"IPL"},{"key":"11_CR8","unstructured":"M. Broy, H. Partsch, P. Pepper, M. Wirsing: Semantic Relations in Programming Languages, IFIP Congress 80"},{"key":"11_CR9","unstructured":"E.W. Dijkstra: A Discipline of Programming. Prentice Hall, Englewood Cliffs 1976"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"R.M. Floyd","year":"1967","unstructured":"R.M. Floyd: Nondeterministic Algorithms. J. ACM 14, 1967, 636\u2013644","journal-title":"J. ACM"},{"key":"11_CR11","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1968","unstructured":"G. Gr\u00e4tzer: Universal Algebra. Princeton: Van Nostrand 1968"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel, V.R. Pratt: Nondeterminism in Logics of Programs. Proc. 5th ACM Symp. on Principles of Programming Languages. Jan. 1978, 203\u2013213","DOI":"10.1145\/512760.512782"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy, G.D. Plotkin: A Term Model of CCS. In: P. Dembinski(ed.): MFCS 80. LNCS 88, 262\u2013274","DOI":"10.1007\/BFb0022510"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"J.R. K. Kennaway, C.A.R. Hoare: A Theory of Nondeterminism. In: J. de Bakker, J.v.d. Leuwen (eds.): ICALP 80, LNCS 85","DOI":"10.1007\/3-540-10003-2_82"},{"key":"11_CR15","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna: Mathematical Theory of Computation. New York: McGraw Hill 1974"},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy: A Basis for a Theory of Computation. In: B. Bradfort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963, 33\u201370"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"R. Milner: Fully Abstract Models of Typed \u03bb-calculi. TCS 4, 1977, 1\u201322","journal-title":"TCS"},{"key":"11_CR18","unstructured":"M. Nivat: Nondeterministic Programs: An Algebraic Overview. Invited paper, IFIP Congress 80"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"D. Park: On the Semantics of Fair Parallelism. In: D. Bj\u00f6rner (ed.): Abstract Software Specification. LNCS 86, 504\u2013526","DOI":"10.1007\/3-540-10007-5_47"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"M. Wirsing, M. Broy: Abstract Data Types as Lattices of Finitely Generated Models. In: P. Dembinski (ed.): MFCS 80. LNCS 88","DOI":"10.1007\/BFb0022542"}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:39:03Z","timestamp":1619541543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981]]}}}