{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:09Z","timestamp":1725663369062},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129257"},{"type":"electronic","value":"9783540388098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12925-1_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:59:37Z","timestamp":1330192777000},"page":"133-144","source":"Crossref","is-referenced-by-count":0,"title":["Implementations of nondeterministic programs"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Guerreiro","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"12_CR1","first-page":"479","volume":"115","author":"K. R. Apt","year":"1981","unstructured":"K.R. Apt e G.D. Plotkin, \"A Cook's tour of countable non-determinism\". ICALP 1981, LNCS 115, pp. 479\u2013494. Springer (1981).","journal-title":"ICALP 1981"},{"key":"12_CR2","first-page":"51","volume":"85","author":"R.-J. Back","year":"1981","unstructured":"R.-J. Back, \"Semantics of unbounded non-determinism\". ICALP 1980, LNCS 85, pp. 51\u201363. Springer (1981).","journal-title":"ICALP 1980"},{"issue":"8","key":"12_CR3","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra, \"Guarded commands, non-determinacy and formal derivation of programs\". CACM 18,8 (August 1975), pp. 453\u2013457.","journal-title":"CACM"},{"key":"12_CR4","unstructured":"E.W. Dijkstra, \"A Discipline of Programming\", Prentice Hall (1976)."},{"volume-title":"A relational model for non-deterministic programs and predicate transformers","year":"1980","key":"12_CR5","unstructured":"P. Guerreiro, \"A relational model for non-deterministic programs and predicate transformers\". Fourth International Colloquium on Programming, Paris, 1980. LNCS 83, Springer (1980)."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"P. Guerreiro, \"Relational semantics of strongly communicating sequential processes\". First International Colloquium on the Formalization of Programming Concepts, Pe\u00f1iscola, Spain, 1981. LNCS 108, Springer (1981).","DOI":"10.1007\/3-540-10699-5_107"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"P. Guerreiro, \"Another characterization of weakest preconditions\". Fifth International Symposium on Programming, Torino, 1982. LNCS 137. Springer (1982).","DOI":"10.1007\/3-540-11494-7_12"},{"key":"12_CR8","unstructured":"P. Guerreiro, \"Implementations of nondeterministic programs\". Relat\u00f3rio UNL-2\/82, Dept. Inform\u00e1tica, FCT, UNL (Feb. 1983)."},{"key":"12_CR9","unstructured":"P. Guerreiro, \"S\u00edlabas-Bruxo \u2014 Um sistema de processamento de texto para o Portugu\u00eas\". Anais do XVI Congresso Brasileiro de Inform\u00e1tica. Edi\u00e7\u00e3o SUCESU, S\u00e3o Paulo, Brasil (1983)."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy, \"Powerdomains and non-deterministic recursive functions\". Fifth International Symposium on Programming, Torino, 1982. LNCS 137, pp. 178\u2013193. Springer (1982).","DOI":"10.1007\/3-540-11494-7_13"},{"issue":"8","key":"12_CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \"Communicating sequential processes\". CACM 21,8 (August 1978), pp. 666\u2013677.","journal-title":"CACM"},{"issue":"2","key":"12_CR12","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1145\/322123.322134","volume":"26","author":"G. Milne","year":"1980","unstructured":"G. Milne e R. Milner, \"Concurrent processes and their syntax\". JACM 26,2 (April 1980), pp. 302\u2013321.","journal-title":"JACM"},{"issue":"3","key":"12_CR13","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G.D. Plotkin, \"A powerdomain construction\". SIAM Journal of Computation 5,3 (1976), pp. 452\u2013487.","journal-title":"SIAM Journal of Computation"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"A. Poign\u00e9, \"On effective computations of non-deterministic schemes\". Fifth International Symposium on Programming, Torino, 1982. LNCS 137, pp. 323\u2013336. Springer (1982).","DOI":"10.1007\/3-540-11494-7_21"},{"key":"12_CR15","first-page":"472","volume":"45","author":"W. P. Roever de","year":"1976","unstructured":"W.P. de Roever, \"Dijkstra's predicate transformer, non-determinism, recursion and termination\". MFCS 1976, LNCS 45, pp. 472\u2013481. Springer (1976).","journal-title":"MFCS"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"G. Schmidt, \"Investigating programs in terms of partial graphs\". ICALP 1979, LNCS 71, pp. 515\u2013519. Springer (1979).","DOI":"10.1007\/3-540-09510-1_41"},{"key":"12_CR17","first-page":"209","volume":"15","author":"M. Wand","year":"1977","unstructured":"M. Wand, \"A characterization of weakest preconditions\". JCSS 15 (1977) pp. 209\u2013212.","journal-title":"JCSS"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12925-1_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:54Z","timestamp":1605643614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12925-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129257","9783540388098"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-12925-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}