Researcher identifiers

External widget

Production year

Number of documents

1

Kostas Chatzikokolakis


"Prakash Panangaden"    "Sophia Knight"    2012   

Journal articles1 document

  • Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (4), pp.28:1-28:35. ⟨10.1145/2362355.2362356⟩. ⟨inria-00637160⟩