{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214308},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749141"},{"type":"electronic","value":"9783540749158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74915-8_41","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T05:13:35Z","timestamp":1187932415000},"page":"558-572","source":"Crossref","is-referenced-by-count":1,"title":["Bad Variables Under Control"],"prefix":"10.1007","author":[{"given":"Andrzej S.","family":"Murawski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","first-page":"345","volume-title":"Algorithmic Languages","author":"J.C. Reynolds","year":"1978","unstructured":"Reynolds, J.C.: The essence of Algol. In: de Bakker, J.W., van Vliet, J. (eds.) Algorithmic Languages, pp. 345\u2013372. North Holland, Amsterdam (1978)"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W., Tennent, R.D. (eds.).: Algol-like Languages. Progress in Theoretical Computer Science. Birkh\u00e4user, Boston, Two volumes (1997)","DOI":"10.1007\/978-1-4757-3851-3"},{"key":"41_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF01806032","volume":"9","author":"U.S. Reddy","year":"1996","unstructured":"Reddy, U.S.: Global state considered unnecessary: An introduction to object-based semantics. Lisp and Symbolic Computation\u00a09, 7\u201376 (1996)","journal-title":"Lisp and Symbolic Computation"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"Abramsky, S., McCusker, G.: Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions. In: O\u2019Hearn, P.W., Tennent, R.D. (eds.) Algol-like languages, Birkha\u00fcser, pp. 297\u2013329 (1997)","DOI":"10.1007\/978-1-4757-3851-3_10"},{"key":"41_CR5","first-page":"205","volume":"2","author":"R.M. Burstall","year":"1968","unstructured":"Burstall, R.M., Popplestone, R.J.: Pop-2 reference manual. Machine Intelligence\u00a02, 205\u2013246 (1968)","journal-title":"Machine Intelligence"},{"key":"41_CR6","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/362349.362364","volume":"13","author":"J.C. Reynolds","year":"1970","unstructured":"Reynolds, J.C.: GEDANKEN-A simple typeless language based on principle of completeness and reference concept. CACM\u00a013, 308\u2013319 (1970)","journal-title":"CACM"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"McCusker, G.: On the semantics of Idealized Algol without the bad-variable constructor. In: Proceedings of MFPS 2003, ENTCS 83","DOI":"10.1016\/S1571-0661(03)50009-3"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Cartwright, R., Felleisen, M.: Observable sequentiality and full abstraction (preliminary version). In: Proceedings of POPL 1992 (1992)","DOI":"10.1145\/143165.143232"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Laird, J.: Full abstraction for functional languages with control. In: Proceedings of LICS 1997 (1997)","DOI":"10.1109\/LICS.1997.614931"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Ghica, D.R., Murawski, A.S., Ong, C.H.L., Stark, I.D.B.: Nominal games and full abstraction for the nu-calculus. In: Proceedings of LICS 2004 (2004)","DOI":"10.1109\/LICS.2004.1319609"},{"key":"41_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Foundations of Software Science and Computation Structures","author":"J. Laird","year":"2004","unstructured":"Laird, J.: A game semantics of local names and good variables. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, Springer, Heidelberg (2004)"},{"key":"41_CR12","volume-title":"Logic and Computation","author":"S. Abramsky","year":"1998","unstructured":"Abramsky, S., McCusker, G.: Game semantics. In: Schwichtenberg, H., Berger, U. (eds.) Logic and Computation. Proceedings of the 1997 Marktoberdorf Summer School, Springer, Heidelberg (1998)"},{"issue":"2","key":"41_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"J.M.E. Hyland","year":"2000","unstructured":"Hyland, J.M.E., Ong, C.H.L.: On Full Abstraction for PCF. Information and Computation\u00a0163(2), 285\u2013408 (2000)","journal-title":"Information and Computation"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Harmer, R., McCusker, G.: A fully abstract game semantics for finite nondeterminism. In: Proceedings of LICS 1999 (1999)","DOI":"10.1109\/LICS.1999.782637"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Danos, V., Harmer, R.: Probabilistic game semantics. In: Proceedings of LICS 2000 (2000)","DOI":"10.1109\/LICS.2000.855770"},{"key":"41_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_15","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"A.S. Murawski","year":"2005","unstructured":"Murawski, A.S., Ouaknine, J.: On probabilistic program equivalence and refinement. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74915-8_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:24:58Z","timestamp":1605763498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74915-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749141","9783540749158"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74915-8_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}