{"id":"https://openalex.org/W2019367988","doi":"https://doi.org/10.1109/icinfa.2013.6720357","title":"Non-Alternating ActorGame: Game semantics for actors without alternation","display_name":"Non-Alternating ActorGame: Game semantics for actors without alternation","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W2019367988","doi":"https://doi.org/10.1109/icinfa.2013.6720357","mag":"2019367988"},"language":"en","primary_location":{"id":"doi:10.1109/icinfa.2013.6720357","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icinfa.2013.6720357","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Conference on Information and Automation (ICIA)","raw_type":"proceedings-article"},"type":"article","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/A5101914304","display_name":"Guiping Dai","orcid":"https://orcid.org/0000-0001-9208-9994"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Guiping Dai","raw_affiliation_strings":["College of Electronic Information and Control Engineering, Beijing University of Technology, Beijing, China","Coll. of Electron. Inf. & Control Eng., Beijing Univ. of Technol., Beijing, China"],"affiliations":[{"raw_affiliation_string":"College of Electronic Information and Control Engineering, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]},{"raw_affiliation_string":"Coll. of Electron. Inf. & Control Eng., Beijing Univ. of Technol., Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100424413","display_name":"Yong Wang","orcid":"https://orcid.org/0000-0002-1470-846X"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Wang","raw_affiliation_strings":["College of Computer Science and Technology, Beijing University of Technology, Beijing, China","College of Computer Science and Tech., Beijing Univ. of Tech., Beijing, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]},{"raw_affiliation_string":"College of Computer Science and Tech., Beijing Univ. of Tech., Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101914304"],"corresponding_institution_ids":["https://openalex.org/I37796252"],"apc_list":null,"apc_paid":null,"fwci":0.3624,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64425965,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"539","last_page":"544"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9879000186920166,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9772999882698059,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/alternation","display_name":"Alternation (linguistics)","score":0.712958574295044},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.62450110912323},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6093775033950806},{"id":"https://openalex.org/keywords/acknowledgement","display_name":"Acknowledgement","score":0.6059165596961975},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5520213842391968},{"id":"https://openalex.org/keywords/game-semantics","display_name":"Game semantics","score":0.45844364166259766},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38872045278549194},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26261094212532043},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.2513732314109802},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.23068460822105408},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.14492568373680115},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1327320635318756}],"concepts":[{"id":"https://openalex.org/C26826806","wikidata":"https://www.wikidata.org/wiki/Q438358","display_name":"Alternation (linguistics)","level":2,"score":0.712958574295044},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.62450110912323},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6093775033950806},{"id":"https://openalex.org/C2777880217","wikidata":"https://www.wikidata.org/wiki/Q4674282","display_name":"Acknowledgement","level":2,"score":0.6059165596961975},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5520213842391968},{"id":"https://openalex.org/C9672783","wikidata":"https://www.wikidata.org/wiki/Q65122115","display_name":"Game semantics","level":5,"score":0.45844364166259766},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38872045278549194},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26261094212532043},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2513732314109802},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.23068460822105408},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.14492568373680115},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1327320635318756},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icinfa.2013.6720357","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icinfa.2013.6720357","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Conference on Information and Automation (ICIA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W53605269","https://openalex.org/W90368513","https://openalex.org/W1516611407","https://openalex.org/W1531730062","https://openalex.org/W1551600003","https://openalex.org/W1601507054","https://openalex.org/W1847465957","https://openalex.org/W1877442346","https://openalex.org/W1890268527","https://openalex.org/W1923324835","https://openalex.org/W1972106757","https://openalex.org/W1990234916","https://openalex.org/W2005437395","https://openalex.org/W2107067818","https://openalex.org/W2113988682","https://openalex.org/W2123608402","https://openalex.org/W2146242204","https://openalex.org/W2157598146","https://openalex.org/W2238542216","https://openalex.org/W3102735016","https://openalex.org/W4239422987","https://openalex.org/W4244463218","https://openalex.org/W4256363426","https://openalex.org/W6602155763","https://openalex.org/W6647831397"],"related_works":["https://openalex.org/W1504381137","https://openalex.org/W4283656061","https://openalex.org/W2620413320","https://openalex.org/W3102611879","https://openalex.org/W4385757279","https://openalex.org/W2067129656","https://openalex.org/W2211012933","https://openalex.org/W1002241103","https://openalex.org/W2356873024","https://openalex.org/W2097622502"],"abstract_inverted_index":{"Based":[0],"on":[1],"the":[2,14,62,69,77,87,95],"works":[3],"of":[4,16,39,50,74,92],"ActorGames":[5,31,44],"which":[6],"introduce":[7,68],"game":[8,40],"semantics":[9,41],"into":[10],"actors,":[11,59],"we":[12,60],"remove":[13],"assumption":[15],"an":[17,25,48],"immediate":[18],"acknowledgement":[19],"to":[20,83,101],"a":[21,36],"received":[22],"message":[23],"for":[24],"actor":[26],"in":[27],"ActorGames.":[28],"This":[29],"makes":[30],"play":[32],"without":[33],"alternation":[34],"and":[35,56,67,81,99],"new":[37],"kind":[38],"called":[42,54],"Non-Alternating":[43,70,75,78,88,93,96],"are":[45],"introduced.":[46],"Through":[47],"example":[49],"classical":[51],"cluster":[52],"computing":[53],"CCC":[55],"implemented":[57],"by":[58],"analyze":[61],"concurrent":[63,84,102],"messages":[64],"among":[65],"actors":[66],"ActorGame":[71,79,89,97],"strategy,":[72,90],"composition":[73,91],"ActorGames,":[76,94],"category":[80,98],"relation":[82,100],"games.":[85],"Both":[86],"games":[103],"have":[104],"good":[105],"properties.":[106]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}