Epistemic Strategies and Games on Concurrent Processes
Title | Epistemic Strategies and Games on Concurrent Processes |
Publication Type | Journal Article |
Year of Publication | 2012 |
Authors | Chatzikokolakis, K, Knight, S, Palamidessi, C, Panangaden, P |
Journal | ACM Trans. Comput. Log. |
Volume | 13 |
Pagination | 28 |
Work Package:
WP3