{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:31Z","timestamp":1725494851386},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_27","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:30:57Z","timestamp":1194985857000},"page":"1460-1476","source":"Crossref","is-referenced-by-count":8,"title":["Reasoning about interactive systems"],"prefix":"10.1007","author":[{"given":"Ralph","family":"Back","sequence":"first","affiliation":[]},{"given":"Anna","family":"Mikhajlova","sequence":"additional","affiliation":[]},{"given":"Joakim","family":"von Wright","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"27_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of 16th ICALP","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In Proceedings of 16th ICALP, volume 372 of LNCS, pages 1\u201317, Stresa, Italy, 11-15 July 1989. Springer-Verlag."},{"key":"27_CR2","unstructured":"R. Back, A. Mikhajlova, and J. von Wright. Modeling component environments and interactive programs using iterative choice. Technical Report 200, Turku Centre for Computer Science, September 1998."},{"key":"27_CR3","unstructured":"R. J. R. Back. Changing data representation in the re nement calculus. In 21st Hawaii International Conference on System Sciences. IEEE, January 1989."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and J. von Wright. Contracts, games and re nement. In 4th Work-shop on Expressiveness in Concurrency, EXPRESS\u201997, volume 7 of Electronic Notes in Theoretical Computer Science. Elsevier, September 1997.","DOI":"10.1016\/S1571-0661(05)80464-5"},{"key":"27_CR5","unstructured":"[5]R. J. R. Back and J. von Wright. Reasoning algebraically about loops. Technical Report 144, Turku Centre for Computer Science, November 1997."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, April 1998.","DOI":"10.1007\/978-1-4612-1674-2_1"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(86)90040-X","volume":"45","author":"M. Broy","year":"1986","unstructured":"M. Broy. A theory for nondeterminism, parallelism, communication, and concurrency. Theoretical Computer Science, 45:1\u201361, 1986.","journal-title":"Theoretical Computer Science"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"R. W. Floyd. Assigning meaning to programs. In J. T. Schwartz, editor, Math-ematical aspects of computer science, volume 19, pages 19\u201331. American Mathematical Society, 1967.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"27_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-54834-3_5","volume-title":"In VDM 91, Volume 1: Conference Contributions","author":"D. Garlan","year":"1991","unstructured":"D. Garlan and D. Notkin. Formalizing design spaces: Implicit invocation mechanisms. In VDM 91, Volume 1: Conference Contributions, LNCS 551, pages 31\u201344. Springer-Verlag, Oct. 1991.1476 Ralph Back, Anna Mikhajlova, and Joakim von Wrigh"},{"key":"27_CR10","unstructured":"C. C. Morgan. Programming from Specifications. Prentice-Hall, 1990."},{"issue":"1","key":"27_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/0890-5401(91)90054-6","volume":"93","author":"Y. N. Moschovakis","year":"1991","unstructured":"Y. N. Moschovakis. A model of concurrency with fair merge and full recursion. Information and Computation, 93(1):114\u2013171, July 1991.","journal-title":"Information and Computation"},{"key":"27_CR12","unstructured":"N. Ward and I. Hayes. Applications of angelic nondeterminism. In P.A.C. Bailes, editor, 6th Australian Software Engineering Conference, pages 391\u2013404, Sydney,Australia, 1991."},{"key":"27_CR13","unstructured":"P. Wegner. Interactive software technology. In J. Allen B. Tucker, editor, The Computer Science and Engineering Handbook. CRC Press, in cooperation with ACM, 1997."},{"issue":"2","key":"27_CR14","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0304-3975(97)00154-0","volume":"192","author":"1. P. Wegner","year":"1998","unstructured":"[14] P. Wegner. Interactive foundations of computing. Theoretical Computer Science, 192(2):315\u2013351, Feb. 1998.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:30:12Z","timestamp":1556955012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}