Indexed by:
Abstract:
Game semantics is suitable to model interactions between the environment (modeled as opponent role) and the system (modeled as player role), and has gained great successes in which the behaviors of the system and the environment are explicitly distinguished. In this paper, game semantics model (exactly asynchronous game) is introduced into the actors which is called ActorGame. The characteristics of actor computation model, such as receiving messages, sending messages and creating new actors, are well interpreted in ActorGame. And also composition of ActorGames and category of ActorGames are concerned. Both the ActorGame, composition of ActorGames, and category of ActorGames have good properties.
Keyword:
Reprint Author's Address:
Email:
Source :
2013 FOURTH GLOBAL CONGRESS ON INTELLIGENT SYSTEMS (GCIS)
ISSN: 2155-6083
Year: 2013
Page: 5-10
Language: English
Cited Count:
WoS CC Cited Count: 4
SCOPUS Cited Count:
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count:
Chinese Cited Count:
30 Days PV: 0