{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:46Z","timestamp":1725563026819},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_10","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"137-152","source":"Crossref","is-referenced-by-count":1,"title":["Preference and Non-deterministic Choice"],"prefix":"10.1007","author":[{"given":"Bill","family":"Stoddart","sequence":"first","affiliation":[]},{"given":"Frank","family":"Zeyda","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Dunne","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"10_CR1","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical Reversibility of Computation. IBM Journal of Research and Development\u00a017(6), 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11955757_5","volume-title":"B 2007: Formal Specification and Development in B","author":"S.E. Dunne","year":"2006","unstructured":"Dunne, S.E.: Chorus Angelorum. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 19\u201333. Springer, Heidelberg (2006)"},{"key":"10_CR3","unstructured":"Feynman, R.P.: Lectures on Computation. Westview Press (1996)"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"R.W. Floyd","year":"1967","unstructured":"Floyd, R.W.: Nondeterministic Algorithms. J. of the ACM\u00a014(4), 636\u2013664 (1967)","journal-title":"J. of the ACM"},{"key":"10_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8596-5","volume-title":"A Practical Theory of Programming","author":"E.C.R. Hehner","year":"1993","unstructured":"Hehner, E.C.R.: A Practical Theory of Programming. Springer, Heidelberg (1993), Latest version available online at: \n                    \n                      http:\/\/www.cs.toronto.edu\/~hehner\/aPToP\/"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R. Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and Heat Generated in the Computing Process. IBM Journal of Research and Development\u00a05, 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"issue":"8","key":"10_CR7","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/PL00013316","volume":"37","author":"J.M. Morris","year":"2001","unstructured":"Morris, J.M., Bunkenburg, A.: A Theory of Bunches. Acta Informatica\u00a037(8), 541\u2013561 (2001)","journal-title":"Acta Informatica"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"Nelson, G.: A Generalization of Dijkstra\u2019s Calculus. ACM Transactions on Programming Languages and Systems\u00a011(4), 517\u2013561 (1989)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Stoddart, W.J., Zeyda, F.: A unification of probabilistic choice within a design-based model of reversible computation. Formal Aspect of Computing (August 2007) (Published on-line), doi:10.1007\/s00165-007-0048-1","DOI":"10.1007\/s00165-007-0048-1"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11768173_4","volume-title":"Unifying Theories of Programming","author":"W.J. Stoddart","year":"2006","unstructured":"Stoddart, W.J., Zeyda, F., Lynas, A.R.: A Design-based model of reversible computation. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010, pp. 63\u201383. Springer, Heidelberg (2006)"},{"key":"10_CR11","unstructured":"Stoddart, W.J., Zeyda, F., Lynas, A.R.: A reversible virtual machine. In: Proceedings of Reversible Computation 2009 (March 2009)"},{"issue":"6","key":"10_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2010.02.005","volume":"253","author":"W.J. Stoddart","year":"2010","unstructured":"Stoddart, W.J., Zeyda, F., Lynas, A.R.: A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. Electronic Notes in Theoretical Computer Science\u00a0253(6), 33\u201356 (2010)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR13","unstructured":"Zeyda, F.: Reversible Computations in B. PhD thesis, University of Teesside, Middlesbrough, TS1 3BA, UK (July 2007)"},{"issue":"6","key":"10_CR14","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1147\/rd.456.0807","volume":"45","author":"P. Zuliani","year":"2001","unstructured":"Zuliani, P.: Logical reversibility. IBM Journal of Research and Development\u00a045(6), 807\u2013818 (2001)","journal-title":"IBM Journal of Research and Development"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:38:45Z","timestamp":1619786325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}