TY - GEN
T1 - Epistemic strategies and games on concurrent processes
AU - Chatzikokolakis, Konstantinos
AU - Knight, Sophia
AU - Panangaden, Prakash
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=67650704487&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=67650704487&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-95891-8_17
DO - 10.1007/978-3-540-95891-8_17
M3 - Conference contribution
AN - SCOPUS:67650704487
SN - 3540958908
SN - 9783540958901
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 153
EP - 166
BT - SOFSEM 2009
T2 - 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009
Y2 - 24 January 2009 through 30 January 2009
ER -