Epistemic Strategies and Games on Concurrent Processes - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2009

Epistemic Strategies and Games on Concurrent Processes

Résumé

We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information ow in the interactions between agents and to control the information available to interacting agents. We dene games and strategies on process algebras, so that two agents interacting according to their strategies determine the execution of the process, re- placing the traditional scheduler. We show that dierent restrictions on strategies represent dierent amounts of information being available to a scheduler. We also show that a certain class of strategies corresponds to the syntactic schedulers of Chatzikokolakis and Palamidessi, which were developed to overcome problems with traditional schedulers mod- elling interaction. The restrictions on these strategies have an explicit epistemic avour.
Fichier principal
Vignette du fichier
games_sofsem09.pdf (158.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00424854 , version 1 (19-10-2009)

Identifiants

  • HAL Id : inria-00424854 , version 1

Citer

Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. pp.153-166. ⟨inria-00424854⟩
115 Consultations
132 Téléchargements

Partager

More