{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:04Z","timestamp":1760202604723},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642040801"},{"type":"electronic","value":"9783642040818"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04081-8_24","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T12:27:08Z","timestamp":1251721628000},"page":"354-368","source":"Crossref","is-referenced-by-count":7,"title":["Model-Checking Games for Fixpoint Logics with Partial Order Models"],"prefix":"10.1007","author":[{"given":"Julian","family":"Gutierrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Bradfield","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/S1570-2464(07)80015-2","volume-title":"Handbook of Modal Logic","author":"J. Bradfield","year":"2006","unstructured":"Bradfield, J., Stirling, C.: Modal mu-calculi. In: Handbook of Modal Logic, vol.\u00a03, pp. 721\u2013756. Elsevier, Amsterdam (2006)"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E.: Model checking games. Electr. Notes Theor. Comput. Sci.\u00a067 (2002)","DOI":"10.1016\/S1571-0661(04)80538-3"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-642-00596-1_5","volume-title":"FoSSaCS 2009","author":"J. Gutierrez","year":"2009","unstructured":"Gutierrez, J.: Logics and bisimulation games for concurrency, causality and conflict. In: de Alfaro, L. (ed.) FoSSaCS 2009. LNCS, vol.\u00a05504, pp. 48\u201362. Springer, Heidelberg (2009)"},{"issue":"2","key":"24_CR4","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Inf. Comput.\u00a0127(2), 164\u2013185 (1996)","journal-title":"Inf. Comput."},{"key":"24_CR5","first-page":"371","volume-title":"LICS","author":"P. Madhusudan","year":"2003","unstructured":"Madhusudan, P.: Model-checking trace event structures. In: LICS, pp. 371\u2013380. IEEE Computer Society, Los Alamitos (2003)"},{"key":"24_CR6","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Winskel, G.: Models for concurrency. In: Handbook of Logic in Computer Science, vol.\u00a04, pp. 1\u2013148. Oxford University Press, Oxford (1995)"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BFb0035386","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"W. Penczek","year":"1997","unstructured":"Penczek, W.: Model-checking for a subclass of event structures. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 145\u2013164. Springer, Heidelberg (1997)"},{"key":"24_CR8","first-page":"55","volume-title":"LICS","author":"J. Reynolds","year":"2002","unstructured":"Reynolds, J.: Separation logic: A logic for shared mutable data structures. In: LICS, pp. 55\u201374. IEEE Computer Society, Los Alamitos (2002)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"CONCUR","author":"C. Stirling","year":"1995","unstructured":"Stirling, C.: Local model checking games. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 1\u201311. Springer, Heidelberg (1995)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. LNCS. Springer, Heidelberg (2001)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Thiagarajan, P.S.: Regular trace event structures. Technical report, BRICS (1996)","DOI":"10.7146\/brics.v3i32.20012"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/BFb0012800","volume-title":"Automata, Languages, and Programming","author":"G. Winskel","year":"1982","unstructured":"Winskel, G.: Event structure semantics for ccs and related languages. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 561\u2013576. Springer, Heidelberg (1982)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2009 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04081-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T04:46:28Z","timestamp":1558500388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04081-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642040801","9783642040818"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04081-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}