Epistemic Strategies and Games on Concurrent Processes

Konstantinos Chatzikokolakis 1, 2 Sophia Knight 3 Prakash Panangaden 3
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : 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.
Type de document :
Communication dans un congrès
SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. Springer, 5404, pp.153-166, 2009, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00424854
Contributeur : Catuscia Palamidessi <>
Soumis le : lundi 19 octobre 2009 - 06:03:45
Dernière modification le : jeudi 10 mai 2018 - 02:06:55
Document(s) archivé(s) le : mardi 16 octobre 2012 - 12:26:49

Fichier

games_sofsem09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00424854, version 1

Collections

Citation

Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. Springer, 5404, pp.153-166, 2009, Lecture Notes in Computer Science. 〈inria-00424854〉

Partager

Métriques

Consultations de la notice

238

Téléchargements de fichiers

94