Indexed by:
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:
Reprint Author's Address:
Email:
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
Affiliated Colleges: