Epistemic strategies and games on concurrent processes

Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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 flow in the interactions between agents and to control the information available to interacting agents. We define games and strategies on process algebras, so that two independent agents interacting according to their strategies determine the execution of the process, replacing the traditional scheduler. We show that different restrictions on strategies represent different 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 modelling interaction. The restrictions on these strategies have an explicit epistemic flavour.

Original languageEnglish (US)
Title of host publicationSOFSEM 2009
Subtitle of host publicationTheory and Practice of Computer Science - 35th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Pages153-166
Number of pages14
DOIs
StatePublished - 2009
Externally publishedYes
Event35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009 - Spindleruv Mlyn, Czech Republic
Duration: Jan 24 2009Jan 30 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5404 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009
CountryCzech Republic
CitySpindleruv Mlyn
Period1/24/091/30/09

Fingerprint Dive into the research topics of 'Epistemic strategies and games on concurrent processes'. Together they form a unique fingerprint.

Cite this