Conference item icon

Conference item

Epistemic Strategies and Games on Concurrent Processes

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 rest...

Expand abstract
Publication status:
Published

Actions


Access Document


Host title:
SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS
Volume:
5404
Pages:
153-166
Publication date:
2009-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
ISBN:
9783540958901
Pubs id:
pubs:251177
UUID:
uuid:67bc8818-059b-462f-89e5-f9490eeaee60
Local pid:
pubs:251177
Source identifiers:
251177
Deposit date:
2013-11-16

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP