Non-Alternating ActorGame: Game semantics for actors without alternation - 文章详情页

作者：

Dai, Guiping (Dai, Guiping.) | Wang, Yong (Wang, Yong.)

收录：

EI Scopus

摘要：

Based　on　the　works　of　ActorGames　which　introduce　game　semantics　into　actors,　we　remove　the　assumption　of　an　immediate　acknowledgement　to　a　received　message　for　an　actor　in　ActorGames.　This　makes　ActorGames　play　without　alternation　and　a　new　kind　of　game　semantics　called　Non-Alternating　ActorGames　are　introduced.　Through　an　example　of　classical　cluster　computing　called　CCC　and　implemented　by　actors,　we　analyze　the　concurrent　messages　among　actors　and　introduce　the　Non-Alternating　ActorGame　strategy,　composition　of　Non-Alternating　ActorGames,　the　Non-Alternating　ActorGame　category　and　relation　to　concurrent　games.　Both　the　Non-Alternating　ActorGame　strategy,　composition　of　Non-Alternating　ActorGames,　the　Non-Alternating　ActorGame　category　and　relation　to　concurrent　games　have　good　properties.　©　2013　IEEE.

关键词：

Cluster computing Computation theory Computer games Game theory Semantics

作者机构：

[ 1 ] [Dai, Guiping]College of Electronic Information and Control Engineering, Beijing University of Technology, Beijing, China
[ 2 ] [Wang, Yong]College of Computer Science and Technology, Beijing University of Technology, Beijing, China

通讯作者信息：

电子邮件地址：

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至