Epistemic strategies and games on concurrent processes

DOI10.1145/2362355.2362356MaRDI QIDQ5892170zbMATH OpenOpenAlexFDO

Authors Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2362355.2362356

zbMATH Keywords

concurrencyepistemic logicgame semanticsprobabilityprocess algebraschedulers

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Epistemic Strategies and Games on Concurrent Processes
• An epistemic strategy logic
• Spatial and epistemic modalities in constraint-based process calculi
• Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes
• scientific article; zbMATH DE number 7361815

Cited in

(1)

• Epistemic Strategies and Games on Concurrent Processes

This page was built for publication: Epistemic strategies and games on concurrent processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892170)