{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:30:00Z","timestamp":1770276600375,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212980","type":"print"},{"value":"9783540247272","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24727-2_16","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T11:06:41Z","timestamp":1280747201000},"page":"211-225","source":"Crossref","is-referenced-by-count":24,"title":["Angelic Semantics of Fine-Grained Concurrency"],"prefix":"10.1007","author":[{"given":"Dan R.","family":"Ghica","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej S.","family":"Murawski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Brookes, S.: The essence of Parallel Algol. In:[2], Ch.21","DOI":"10.21236\/ADA324612"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W., Tennent, R.D. (eds.): Algol-like Languages. Progress in Theoretical Computer Science, Birkh\u00e4user (1997)","DOI":"10.1007\/978-1-4612-4118-8"},{"key":"16_CR3","unstructured":"Abramsky, S., McCusker, G.: Linearity, sharing and state: A fully abstract game semantics for Idealized Algol with active expressions. In: [2],Ch.20"},{"issue":"2","key":"16_CR4","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: I, II and III. Information and Computation\u00a0163(2), 285\u2013408 (2000)","journal-title":"Information and Computation"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Melli\u00e8s, P.A.: Concurrent games and full completeness. In: Proceedings of LICS, pp. 431\u2013442 (1999)","DOI":"10.1109\/LICS.1999.782638"},{"key":"16_CR6","unstructured":"Abramsky, S.: Game semantics of Idealized Parallel Algol. Lecture given at the Newton Institute (1995)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Laird, J.: A games semantics of Idealized CSP,vol. 45th Electronic Notes in Theoretical Computer Science, pp. 157\u2013176 (2001)","DOI":"10.1016\/S1571-0661(04)80965-4"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Brookes, S.: Full abstraction for a shared variable parallel language. In: [2], Ch.21","DOI":"10.1109\/LICS.1993.287596"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/3-540-49019-1_21","volume-title":"Foundations of Software Science and Computation Structures","author":"C. R\u00f6ckl","year":"1999","unstructured":"R\u00f6ckl, C., Sangiorgi, D.: A \u03c0-calculus process semantics of Concurrent Idealized Algol. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 306\u2013322. Springer, Heidelberg (1999)"},{"issue":"4","key":"16_CR10","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF01660032","volume":"1","author":"J.T. Udding","year":"1986","unstructured":"Udding, J.T.: A formal model for defining and classifying delay-insensitive circuits and systems. Distributed Computing\u00a01(4), 197\u2013204 (1986)","journal-title":"Distributed Computing"},{"key":"16_CR11","first-page":"459","volume-title":"Programming Concepts and Methods","author":"H. Jifeng","year":"1990","unstructured":"Jifeng, H., Josephs, M.B., Hoare, C.A.R.: A theory of synchrony and asynchrony. In: Programming Concepts and Methods, pp. 459\u2013473. Elsevier, Amsterdam (1990)"},{"key":"16_CR12","volume-title":"Concurrent Programming: principles and practice","author":"G. Andrews","year":"1991","unstructured":"Andrews, G.: Concurrent Programming: principles and practice. Addison-Wesley Publishing Company, Reading (1991)"},{"key":"16_CR13","unstructured":"Ghica, D.R., Murawski, A.S.: Angelic semantics of fine-grained concurrency. Technical Report PRG-RR-03-20. Oxford University Computing Laboratory (2003)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-45022-X_10","volume-title":"Automata, Languages and Programming","author":"D.R. Ghica","year":"2000","unstructured":"Ghica, D.R., McCusker, G.: Reasoning about idealized ALGOL using regular languages. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 103\u2013116. Springer, Heidelberg (2000)"},{"key":"16_CR15","unstructured":"Abramsky, S., Ghica, D.R., Murawski, A.S., Ong, C.-H.L.: Algorithmic game semantics and component-based verification. In: Proceedings of TACAS. LNCS (2004)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Harmer, R., McCusker, G.: A fully abstract game semantics for finite nondeterminism. In: Proceedings of LICS, pp. 422\u2013430 (1999)","DOI":"10.1109\/LICS.1999.782637"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24727-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:23:07Z","timestamp":1559344987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24727-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212980","9783540247272"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24727-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}