{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:11:09Z","timestamp":1748664669810,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319251493"},{"type":"electronic","value":"9783319251509"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25150-9_35","type":"book-chapter","created":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T11:42:36Z","timestamp":1443181356000},"page":"597-607","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Mathematical Game Semantics of Concurrency and Nondeterminism"],"prefix":"10.1007","author":[{"given":"Julian","family":"Gutierrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"issue":"4","key":"35_CR1","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1017\/S0960129503003980","volume":"13","author":"S Abramsky","year":"2003","unstructured":"Abramsky, S.: Sequentiality vs. concurrency in games and logic. Math. Struct. Comput. Sci. 13(4), 531\u2013565 (2003)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"35_CR2","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/inco.2000.2930","volume":"163","author":"S Abramsky","year":"2000","unstructured":"Abramsky, S., Jagadeesan, R., Malacaria, P.: Full abstraction for PCF. Inf. Comput. 163(2), 409\u2013470 (2000)","journal-title":"Inf. Comput."},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Melli\u00e8s, P.: Concurrent games and full completeness. In: LICS, pp. 431\u2013442. IEEE Computer Society (1999)","DOI":"10.1109\/LICS.1999.782638"},{"key":"35_CR4","unstructured":"Berry, G.: Mod\u00e8les compl\u00e8tement ad\u00e9quats et stables des lambda-calculs typ\u00e9s. Ph.D. thesis, University of Paris VII (1979)"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Clairambault, P., Gutierrez, J., Winskel, G.: The winning ways of concurrent games. In: LICS, pp. 235\u2013244. IEEE Computer Society (2012)","DOI":"10.1109\/LICS.2012.34"},{"key":"35_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"ree Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: ree Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge (1995)"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-20920-8_17","volume-title":"Logic, Language, Information and Computation","author":"J Gutierrez","year":"2011","unstructured":"Gutierrez, J.: Concurrent logic games on partial orders. In: Beklemishev, L.D., de Queiroz, R. (eds.) WoLLIC 2011. LNCS, vol. 6642, pp. 146\u2013160. Springer, Heidelberg (2011)"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Harmer, R., Hyland, M., Melli\u00e8s, P.: Categorical combinatorics for innocent strategies. In: LICS, pp. 379\u2013388. IEEE Computer Society (2007)","DOI":"10.1109\/LICS.2007.14"},{"issue":"2","key":"35_CR9","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"JME Hyland","year":"2000","unstructured":"Hyland, J.M.E., Ong, C.L.: On full abstraction for PCF: I, II, and III. Inf. Comput. 163(2), 285\u2013408 (2000)","journal-title":"Inf. Comput."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Kahn, G., Plotkin, G.: Concrete domains. Technical report, INRIA (1993)","DOI":"10.1016\/0304-3975(93)90090-G"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-540-74407-8_27","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"P-A Melli\u00e8s","year":"2007","unstructured":"Melli\u00e8s, P.-A., Mimram, S.: Asynchronous games: innocence without alternation. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 395\u2013411. Springer, Heidelberg (2007)"},{"issue":"1","key":"35_CR12","first-page":"145","volume":"9","author":"M Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: Denotation, logic and applications. Nord. J. Comput. 9(1), 145\u2013188 (2002)","journal-title":"Nord. J. Comput."},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Winskel, G.: Models for concurrency. In: Handbook of Logic in Computer Science, pp. 1\u2013148. Oxford University Press (1995)","DOI":"10.1093\/oso\/9780198537809.003.0001"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Olarte, C., Valencia, F.D.: Universal concurrent constraint programing: symbolic semantics and applications to security. In: SAC, pp. 145\u2013150. ACM (2008)","DOI":"10.1145\/1363686.1363726"},{"issue":"3","key":"35_CR15","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"GD Plotkin","year":"1976","unstructured":"Plotkin, G.D.: A powerdomain construction. SIAM J. Comput. 5(3), 452\u2013487 (1976)","journal-title":"SIAM J. Comput."},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Rideau, S., Winskel, G.: Concurrent strategies. In: LICS, pp. 409\u2013418. IEEE Computer Society (2011)","DOI":"10.1109\/LICS.2011.13"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M.C., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: POPL, pp. 333\u2013352. ACM Press (1991)","DOI":"10.1145\/99583.99627"},{"issue":"3","key":"35_CR18","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2006.10.055","volume":"175","author":"L Saunders-Evans","year":"2007","unstructured":"Saunders-Evans, L., Winskel, G.: Event structure spans for nondeterministic dataflow. Electron. Notes Theoret. Comput. Sci. 175(3), 109\u2013129 (2007)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"4\u20136","key":"35_CR19","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1007\/s00165-012-0235-6","volume":"24","author":"G Winskel","year":"2012","unstructured":"Winskel, G.: Deterministic concurrent strategies. Formal Aspects Comput. 24(4\u20136), 647\u2013660 (2012)","journal-title":"Formal Aspects Comput."},{"key":"35_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-642-37075-5_27","volume-title":"Foundations of Software Science and Computation Structures","author":"G Winskel","year":"2013","unstructured":"Winskel, G.: Strategies as profunctors. In: Pfenning, F. (ed.) FOSSACS 2013 (ETAPS 2013). LNCS, vol. 7794, pp. 418\u2013433. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25150-9_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T20:17:05Z","timestamp":1748636225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25150-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319251493","9783319251509"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25150-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}