{"id":"https://openalex.org/W1901568548","doi":"https://doi.org/10.1007/978-3-540-24730-2_32","title":"Applying Game Semantics to Compositional Software Modeling and Verification","display_name":"Applying Game Semantics to Compositional Software Modeling and Verification","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W1901568548","doi":"https://doi.org/10.1007/978-3-540-24730-2_32","mag":"1901568548"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-24730-2_32","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-24730-2_32","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081687891","display_name":"Samson Abramsky","orcid":"https://orcid.org/0000-0003-3921-6637"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Samson Abramsky","raw_affiliation_strings":["Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072298249","display_name":"Dan R. Ghica","orcid":"https://orcid.org/0000-0002-4003-8893"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dan R. Ghica","raw_affiliation_strings":["Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000119795","display_name":"Andrzej S. Murawski","orcid":"https://orcid.org/0000-0002-4725-410X"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrzej S. Murawski","raw_affiliation_strings":["Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025152913","display_name":"C.-H. Luke Ong","orcid":"https://orcid.org/0000-0001-7509-680X"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"C. -H. Luke Ong","raw_affiliation_strings":["Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Laboratory, Oxford University, Parks Road, Oxford, OX1 3QD, U. K","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.3949,"has_fulltext":false,"cited_by_count":73,"citation_normalized_percentile":{"value":0.97443385,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"421","last_page":"435"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.838423490524292},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6847609877586365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6517345905303955},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.5985429883003235},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5651944279670715},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4948694109916687},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4906419813632965},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4430129826068878},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3627644181251526},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2531528174877167}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.838423490524292},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6847609877586365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6517345905303955},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.5985429883003235},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5651944279670715},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4948694109916687},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4906419813632965},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4430129826068878},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3627644181251526},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2531528174877167}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-24730-2_32","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-24730-2_32","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.133.8441","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.8441","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bham.ac.uk/~drg/papers/tacas_agmo.ps","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/3aa8538b-d9d4-463c-be49-02d172e2fa35","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/3aa8538b-d9d4-463c-be49-02d172e2fa35","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Abramsky, S, Ghica, D, Murawski, AS, Ong, C-HL, Jensen, K & Podelski, A 2004, 'Applying game semantics to compositional software modeling and verification', Paper presented at Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004), 1/01/04 pp. 421-435.","raw_type":"conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W143291542","https://openalex.org/W421997344","https://openalex.org/W605212316","https://openalex.org/W1534339430","https://openalex.org/W1535237014","https://openalex.org/W1546606300","https://openalex.org/W1571819235","https://openalex.org/W1589421353","https://openalex.org/W1595465781","https://openalex.org/W1596365597","https://openalex.org/W1746026482","https://openalex.org/W1877442346","https://openalex.org/W1883667652","https://openalex.org/W1977216954","https://openalex.org/W1996612506","https://openalex.org/W2002089154","https://openalex.org/W2011050558","https://openalex.org/W2015534329","https://openalex.org/W2024189573","https://openalex.org/W2025480213","https://openalex.org/W2048387852","https://openalex.org/W2048905609","https://openalex.org/W2054450126","https://openalex.org/W2082036629","https://openalex.org/W2102161786","https://openalex.org/W2109548990","https://openalex.org/W2111753126","https://openalex.org/W2115716046","https://openalex.org/W2126194256","https://openalex.org/W2135274583","https://openalex.org/W2142223028","https://openalex.org/W2149188005","https://openalex.org/W2153952524","https://openalex.org/W2160246505","https://openalex.org/W2161522904","https://openalex.org/W2162329184","https://openalex.org/W2165446401","https://openalex.org/W2293287097","https://openalex.org/W2295903414","https://openalex.org/W2561675875","https://openalex.org/W2808195962","https://openalex.org/W2913459036","https://openalex.org/W4285719527","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2074638034","https://openalex.org/W4391150403","https://openalex.org/W2081749821","https://openalex.org/W1968572830","https://openalex.org/W3177169335","https://openalex.org/W2090814745","https://openalex.org/W2029896371","https://openalex.org/W1513061978","https://openalex.org/W3149732360","https://openalex.org/W1995638504"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}