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

Author:

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

Indexed by:

CPCI-S EI Scopus

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:

Asynchronous Game Actor Game Semantics Games Actor System Theory

Author Community:

  • [ 1 ] [Wang, Yong]Beijing Univ Technol, Coll Comp Sci & Technol, Beijing, Peoples R China
  • [ 2 ] [Dai, Guiping]Beijing Univ Technol, Coll Elect Informat & Control Engn, Beijing, Peoples R China

Reprint Author's Address:

  • [Wang, Yong]Beijing Univ Technol, Coll Comp Sci & Technol, Beijing, Peoples R China

Show more details

Related Keywords:

Related Article:

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

Online/Total:981/5357928
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.