Back to Search
Start Over
Non-Alternating ActorGame: Game semantics for actors without alternation.
- Source :
- 2013 IEEE International Conference on Information & Automation (ICIA); 2013, p539-544, 6p
- Publication Year :
- 2013
-
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. [ABSTRACT FROM PUBLISHER]
Details
- Language :
- English
- ISBNs :
- 9781479913343
- Database :
- Complementary Index
- Journal :
- 2013 IEEE International Conference on Information & Automation (ICIA)
- Publication Type :
- Conference
- Accession number :
- 94534286
- Full Text :
- https://doi.org/10.1109/ICInfA.2013.6720357