• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

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

Indexed by:

EI Scopus

Abstract:

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.

Keyword:

Semantics Computation theory Computer games Game theory Cluster computing

Author Community:

  • [ 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

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

Year: 2013

Page: 539-544

Language: English

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 9

Online/Total:664/10676211
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.