{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,27]],"date-time":"2022-12-27T07:28:35Z","timestamp":1672126115375},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,6,21]],"date-time":"2008-06-21T00:00:00Z","timestamp":1214006400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s00236-008-0076-1","type":"journal-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T09:44:28Z","timestamp":1213955068000},"page":"441-465","source":"Crossref","is-referenced-by-count":4,"title":["Modelling higher-order dual nondeterminacy"],"prefix":"10.1007","volume":"45","author":[{"given":"Joseph M.","family":"Morris","sequence":"first","affiliation":[]},{"given":"Malcolm","family":"Tyrrell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,6,21]]},"reference":[{"key":"76_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science, vol. 3","author":"S. Abramsky","year":"1994","unstructured":"Abramsky S., Jung A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds) Handbook of Logic in Computer Science, vol. 3, pp. 1\u2013168. Clarendon Press, Oxford (1994)"},{"issue":"4","key":"76_CR2","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/6490.6494","volume":"33","author":"K.R. Apt","year":"1986","unstructured":"Apt K.R., Plotkin G.D.: Countable nondeterminism and random assignment. J. ACM 33(4), 724\u2013767 (1986)","journal-title":"J. ACM"},{"key":"76_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.-J. Back","year":"1998","unstructured":"Back R.-J., von Wright J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"key":"76_CR4","volume-title":"Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird R., de Moor O.: Algebra of Programming. Prentice Hall, London (1997) ISBN 0-13-507245-X"},{"key":"76_CR5","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn. Colloquium Publications, vol. 25. American Mathematical Society, New York (1967)"},{"key":"76_CR6","volume-title":"Topological Duality in Semantics. Electronic Notes in Theoretical Computer Science, vol. 8","author":"M. Bonsangue","year":"1998","unstructured":"Bonsangue M.: Topological Duality in Semantics. Electronic Notes in Theoretical Computer Science, vol. 8. Elsevier, Amsterdam (1998) ISBN 0-13-507245-X"},{"issue":"3","key":"76_CR7","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/s00165-006-0001-8","volume":"18","author":"A.L.C. Cavalcanti","year":"2006","unstructured":"Cavalcanti A.L.C., Woodcock J.C.P., Dunne S.: Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. 18(3), 288\u2013307 (2006) ISBN 0-13-507245-X","journal-title":"Formal Aspects Comput."},{"key":"76_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order, 2nd edn","author":"B.A. Davey","year":"2002","unstructured":"Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002) ISBN 0-13-507245-X"},{"key":"76_CR9","doi-asserted-by":"crossref","unstructured":"de Moor, O., Gibbons, J.: Invited talk: Pointwise relational programming. In: Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, vol. 1816, pp. 371\u2013390. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-45499-3_27"},{"key":"76_CR10","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall (1976)"},{"key":"76_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra E.W., Scholten C.S.: Predicate Calculus and Program Semantics. Springer, New York (1990) ISBN 0-13-507245-X"},{"key":"76_CR12","first-page":"19","volume-title":"Lecture Notes in Computer Science, vol. 4355","author":"S. Dunne","year":"2007","unstructured":"Dunne S.: Chorus angelorum. In: Julliand, J., Kouchnarenko, O.B. (eds) Lecture Notes in Computer Science, vol. 4355, pp. 19\u201333. Springer, Heidelberg (2007) ISBN 0-13-507245-X"},{"issue":"1\u20133","key":"76_CR13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0167-6423(91)90037-X","volume":"17","author":"R. Heckmann","year":"1991","unstructured":"Heckmann R.: Power domain constructions. Sci. Comput. Program. 17(1\u20133), 77\u2013117 (1991) ISBN 0-13-507245-X","journal-title":"Sci. Comput. Program."},{"key":"76_CR14","doi-asserted-by":"crossref","unstructured":"Hehner, E.C.R.: A Practical Theory of Programming, 2nd edn. Springer, New York. ISBN 0387941061 1993. 2004\u00a0at http:\/\/www.cs.toronto.edu\/~hehner\/aPToP\/","DOI":"10.1007\/978-1-4419-8596-5"},{"key":"76_CR15","first-page":"108","volume-title":"MFCS. Lecture Notes in Computer Science, vol. 74","author":"M. Hennessy","year":"1979","unstructured":"Hennessy M., Plotkin G.D.: Full abstraction for a simple parallel programming language. In: Becv\u00e1r, J. (eds) MFCS. Lecture Notes in Computer Science, vol. 74, pp. 108\u2013120. Springer, Heidelberg (1979) ISBN 0-13-507245-X"},{"key":"76_CR16","unstructured":"Hesselink, W.: Multirelations are predicate transformers. Technical report, Dept. of Computing Science, University of Groningen, The Netherlands (2004)"},{"key":"76_CR17","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/978-1-4612-4476-9_22","volume-title":"Beauty is our Business: A Birthday Salute to E.W. Dijkstra","author":"W.H. Hesselink","year":"1990","unstructured":"Hesselink W.H.: Modalities of nondeterminacy. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J. (eds) Beauty is our Business: A Birthday Salute to E.W. Dijkstra, pp. 182\u2013192. Springer, Heidelberg (1990) ISBN 0-13-507245-X"},{"key":"76_CR18","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare C.A.R., Jifeng H.: Unifying Theories of Programming. Prentice Hall, New Jersey (1998) ISBN 0-13-507245-X"},{"key":"76_CR19","unstructured":"Hoofman, R.: Powerdomains. Technical Report RUU-CS-87-23, Institute of Information and Computing Sciences, Utrecht University (1987)"},{"key":"76_CR20","unstructured":"Hoogerwoord, R.R.: The design of functional programs: a calculational approach. PhD Thesis, Technische Universiteit Eindhoven (1989)"},{"key":"76_CR21","doi-asserted-by":"crossref","unstructured":"Hughes, J., Moran, A.: Making choices lazily. In: Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture, pp. 108\u2013119. ACM Press, New York (1995)","DOI":"10.1145\/224164.224191"},{"key":"76_CR22","doi-asserted-by":"crossref","unstructured":"Hughes, J., O\u2019Donnell, J.: Nondeterministic functional programming with sets. In: Proceedings of the 1990 Banf Conference on Higher Order Reasoning (1990)","DOI":"10.1007\/978-1-4471-3182-3_2"},{"key":"76_CR23","doi-asserted-by":"crossref","unstructured":"Kozen, D., Shankland, C. (eds.) Mathematics of program construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12\u201314, 2004. In: Proceedings of Lecture Notes in Computer Science, vol. 3125. Springer, Heidelberg (2004)","DOI":"10.1007\/b98756"},{"issue":"1","key":"76_CR24","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF01211050","volume":"8","author":"P.G. Larsen","year":"1996","unstructured":"Larsen P.G., Hansen B.S.: Semantics of under-determined expressions. Formal Aspects Comput. 8(1), 47\u201366 (1996) ISBN 0-13-507245-X","journal-title":"Formal Aspects Comput."},{"key":"76_CR25","unstructured":"Lassen, S.B.: Relational Reasoning about Functions and Nondeterminism. PhD Thesis, Dept of Computer Science, University of Aarhus (1998)"},{"key":"76_CR26","first-page":"162","volume-title":"Mathematical Foundations of Programming Semantics. Lecture Notes in Computer Science, vol. 239","author":"M.G. Main","year":"1985","unstructured":"Main M.G.: Free constructions of powerdomains. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. Lecture Notes in Computer Science, vol. 239, pp. 162\u2013183. Springer, Heidelberg (1985) ISBN 0-13-507245-X"},{"key":"76_CR27","first-page":"274","volume-title":"MPC. Lecture Notes in Computer Science, vol. 4014","author":"C.E. Martin","year":"2006","unstructured":"Martin C.E., Curtis S.A.: Nondeterministic folds. In: Uustalu, T. (eds) MPC. Lecture Notes in Computer Science, vol. 4014, pp. 274\u2013298. Springer, Heidelberg (2006) ISBN 0-13-507245-X"},{"key":"76_CR28","doi-asserted-by":"crossref","unstructured":"Martin, C.E., Curtis, S.A., Rewitzky, I.: Modelling nondeterminism. In: Kozen and Shankland [23], pp. 228\u2013251","DOI":"10.1007\/978-3-540-27764-4_13"},{"key":"76_CR29","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1145\/319301.319350","volume":"21","author":"J.M. Morris","year":"1999","unstructured":"Morris J.M., Bunkenburg A.: Specificational functions. ACM Trans. Programm. Lang. Syst. 21, 677\u2013701 (1999) ISBN 0-13-507245-X","journal-title":"ACM Trans. Programm. Lang. Syst."},{"issue":"1","key":"76_CR30","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/S0167-6423(01)00022-3","volume":"43","author":"J.M. Morris","year":"2002","unstructured":"Morris J.M., Bunkenburg A.: A source of inconsistency in theories of nondeterministic functions. Sci. Comput. Program. 43(1), 77\u201389 (2002) ISBN 0-13-507245-X","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"76_CR31","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/s00236-007-0049-9","volume":"44","author":"J.M. Morris","year":"2007","unstructured":"Morris J.M., Tyrrell M.: Dual unbounded nondeterminacy, recursion, and fixpoints. Acta Inform. 44(5), 323\u2013344 (2007) ISBN 0-13-507245-X","journal-title":"Acta Inform."},{"issue":"2","key":"76_CR32","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.scico.2006.01.008","volume":"65","author":"J.M. Morris","year":"2007","unstructured":"Morris J.M., Tyrrell M.: Terms with unbounded demonic and angelic nondeterminacy. Sci. Comp. Program. 65(2), 159\u2013172 (2007) ISBN 0-13-507245-X","journal-title":"Sci. Comp. Program."},{"key":"76_CR33","doi-asserted-by":"crossref","unstructured":"Morris, J.M., Tyrrell, M.: Dually nondeterministic functions. ACM Trans. Program. Lang. Syst. (2008) (in press)","DOI":"10.1145\/1391956.1391961"},{"key":"76_CR34","doi-asserted-by":"crossref","unstructured":"Morris, J.M.: Augmenting types with unbounded demonic and angelic nondeterminacy. In: Kozen and Shankland [23], pp. 274\u2013288","DOI":"10.1007\/978-3-540-27764-4_15"},{"key":"76_CR35","doi-asserted-by":"crossref","unstructured":"Naumann, D.A.: Ideal models for pointwise relational and state-free imperative programming. In: Proceedings of the 3rd ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 4\u201315. ACM Press, New York (2001)","DOI":"10.1145\/773184.773186"},{"key":"76_CR36","doi-asserted-by":"crossref","unstructured":"Norvell, T.S., Hehner, E.C.R.: Logical specifications for functional programs. In: Proceedings of the Second International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, vol. 669, pp. 269\u2013290. Springer, Heidelberg (1993)","DOI":"10.1007\/3-540-56625-2_18"},{"key":"76_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"Specification and Transformation of Programs","author":"H.A. Partsch","year":"1990","unstructured":"Partsch H.A.: Specification and Transformation of Programs. Springer, New York (1990) ISBN 0-13-507245-X"},{"issue":"3","key":"76_CR38","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"Plotkin G.: A Powerdomain Construction. SIAM J. Comput. 5(3), 452\u2013487 (1976) ISBN 0-13-507245-X","journal-title":"SIAM J. Comput."},{"key":"76_CR39","first-page":"256","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments. Lecture Notes in Computer Science, vol. 2929","author":"I. Rewitzky","year":"2003","unstructured":"Rewitzky I.: Binary multirelations. In: de Swart, H.C.M., Orlowska, E., Schmidt, G., Roubens, M. (eds) Theory and Applications of Relational Structures as Knowledge Instruments. Lecture Notes in Computer Science, vol. 2929, pp. 256\u2013271. Springer, Heidelberg (2003) ISBN 0-13-507245-X"},{"key":"76_CR40","doi-asserted-by":"crossref","unstructured":"Rewitzky, I., Brink, C.: Monotone predicate transformers as up-closed multirelations. In: Schmidt [41], pp. 311\u2013327","DOI":"10.1007\/11828563_21"},{"key":"76_CR41","doi-asserted-by":"crossref","unstructured":"Schmidt, R.A., (ed.) Relations and Kleene algebra in computer science. In: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS\/AKA 2006, Manchester, UK, August 29\u2013September 2, 2006, Proceedings. Lecture Notes in Computer Science, vol. 4136. Springer, Heidelberg (2006)","DOI":"10.1007\/11828563"},{"issue":"1","key":"76_CR42","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"Smyth M.B.: Power domains. J. Comp. and Syst. Sci. 16(1), 23\u201326 (1978) ISBN 0-13-507245-X","journal-title":"J. Comp. and Syst. Sci."},{"key":"76_CR43","first-page":"662","volume-title":"Proceedings of the 10th Colloquium on Automata, Languages and Programming, London. Lecture Notes in Computer Science, vol. 153","author":"M.B. Smyth","year":"1983","unstructured":"Smyth M.B.: Power domains and predicate transformers: A topological view. In: Diaz, J. (eds) Proceedings of the 10th Colloquium on Automata, Languages and Programming, London. Lecture Notes in Computer Science, vol. 153, pp. 662\u2013675. Springer, Heidelberg (1983) ISBN 0-13-507245-X"},{"key":"76_CR44","doi-asserted-by":"crossref","unstructured":"Solin, K.: On two dually nondeterministic refinement algebras. In: Schmidt [41], pp. 373\u2013387","DOI":"10.1007\/11828563_25"},{"key":"76_CR45","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF01187563","volume":"21","author":"W.R. Tunnicliffe","year":"1985","unstructured":"Tunnicliffe W.R.: The free completely distributive lattice over a poset. Algebra Universalis 21, 133\u2013135 (1985) ISBN 0-13-507245-X","journal-title":"Algebra Universalis"},{"issue":"1\u20132","key":"76_CR46","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.scico.2003.09.002","volume":"51","author":"J. Wright von","year":"2004","unstructured":"von Wright J.: Towards a refinement algebra. Sci. Comput. Program. 51(1\u20132), 23\u201345 (2004) ISBN 0-13-507245-X","journal-title":"Sci. Comput. Program."},{"key":"76_CR47","unstructured":"Ward, N.: Adding specification constructs to the refinement calculus. In: FME\u201993: Industrial-Strength Formal Methods. Lecture Notes in Computer Science, vol. 670 (1993)"},{"key":"76_CR48","unstructured":"Ward, N.: A Refinement Calculus for Nondeterministic Expressions. PhD thesis, University of Queensland (1994)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-008-0076-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-008-0076-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-008-0076-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:41:54Z","timestamp":1558690914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-008-0076-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,21]]},"references-count":48,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["76"],"URL":"https:\/\/doi.org\/10.1007\/s00236-008-0076-1","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,21]]}}}