{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T18:47:02Z","timestamp":1725389222956},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/icinfa.2013.6720357","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T22:34:30Z","timestamp":1391207670000},"page":"539-544","source":"Crossref","is-referenced-by-count":0,"title":["Non-Alternating ActorGame: Game semantics for actors without alternation"],"prefix":"10.1109","author":[{"given":"Guiping","family":"Dai","sequence":"first","affiliation":[]},{"given":"Yong","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782638"},{"journal-title":"Customization and Composition of Distributed Objects Policy Management in Distributed Software Architectures","year":"1999","author":"astley","key":"22"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-74407-8_27","article-title":"Asynchronous games: Innocence without alternation","author":"melli?es","year":"2007","journal-title":"Proc CONCUR 2007"},{"journal-title":"Worldwide Computing with Universal Actors Linguistic Abstractions for Naming Migration and Coordination","year":"2001","author":"varela","key":"23"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503003980"},{"journal-title":"Efficient Communication and Coordination for Largescale Multi-agent Systems","year":"2006","author":"jang","key":"24"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.6"},{"key":"16","article-title":"Actor game: Game semantics for actors","author":"wang","year":"2012","journal-title":"Science in China (F) Information Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_29"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.057"},{"journal-title":"Innocence in 2-dimensional Games","year":"2002","author":"melli?es","key":"11"},{"journal-title":"Asynchronous Game 1 Uniformity by Group Invariance","year":"2003","author":"melli?es","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/83880.84528"},{"journal-title":"An Adaptive Resource Management Architecture for Global Distributed Computing","year":"1998","author":"venkatasubramanian","key":"21"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","author":"agha","year":"1986","journal-title":"Actors A Model of Concurrent Computation in Distributed Systems"},{"journal-title":"Modular Specification of Interaction Policies in Distributed Computing","year":"1996","author":"sturman","key":"20"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705669"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58140-5_25","article-title":"Hereditarily sequential functionals","author":"nickau","year":"1994","journal-title":"Symposium on logical Foundations of Computer Science"},{"key":"6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-57887-0_87","article-title":"Full abstraction for PCF (extended abstract)","author":"abramsky","year":"1994","journal-title":"Proc Theoretical Aspects of Computer Software 1994"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1005561.1005564"},{"key":"4","article-title":"Actors: A model for reasoning about open distributed systems","author":"agha","year":"2001","journal-title":"Formal methods for distributed processing A survey of object-oriented approaches"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56287-7_113"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58622-4_1"}],"event":{"name":"2013 IEEE International Conference on Information and Automation (ICIA)","start":{"date-parts":[[2013,8,26]]},"location":"Yinchuan, China","end":{"date-parts":[[2013,8,28]]}},"container-title":["2013 IEEE International Conference on Information and Automation (ICIA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6709836\/6720259\/06720357.pdf?arnumber=6720357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,24]],"date-time":"2022-03-24T22:07:28Z","timestamp":1648159648000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6720357\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icinfa.2013.6720357","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}