Epistemic Strategies and Games on Concurrent Processes
Epistemic Strategies and Games on Concurrent Processes
复制标题
并发过程的认知策略和博弈
DOI：
10.1145/2362355.2362356
复制
发表时间：
2012
影响因子：
0.5
通讯作者：
Chatzikokolakis K
中科院分区：
文献类型：
--
作者：
Chatzikokolakis K
我们开发了一个游戏语义的进程代数与两个相互作用的代理。我们的语义学的目的是为了体现知识和信息流的作用，在代理之间的相互作用，并控制交互代理的信息。我们在进程代数上定义了博弈和策略，使得两个代理根据各自的策略进行交互，从而决定进程的执行，取代传统的调度器。我们表明，不同的限制策略表示不同的信息量可用于调度。我们还表明，一定类别的战略对应于语法的Chatzikokolakis和Palamidessi，这是为了克服传统的建模交互的问题。对这些策略的限制具有明确的认识色彩。
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 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.
登录
查看更多内容
并发过程的认知策略与博弈：第四届交互与并发体验特邀报告
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
P. Panangaden
通讯作者：
P. Panangaden
纯真的解剖
DOI：
--
发表时间：
2001
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
V. Danos;Russell Harmer
通讯作者：
Russell Harmer
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
Paul J. Krasucki;R. Parikh;Gilbert Ndjatou
通讯作者：
Gilbert Ndjatou
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
J. Borgström;S. Kramer;U. Nestmann
通讯作者：
U. Nestmann
分布式游戏
DOI：
--
发表时间：
2003
期刊：
Foundations of Software Technology and Theoretical Computer Science
影响因子：
--
作者：
S. Mohalik;I. Walukiewicz
通讯作者：
I. Walukiewicz