Author:
Clairambault Pierre,Gutierrez Julian,Winskel Glynn
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abramsky, S., Jagadeesan, R.: Game semantics for access control. Electronic Notes in Theoretical Computer Science 249 (2009)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5) (2002)
3. Bradfield, J.C.: Independence: logics and concurrency. Acta Philosophica Fennica 78 (2006)
4. Bradfield, J.C., Fröschle, S.B.: Independence-friendly modal logic and true concurrency. Nord. J. Comput. 9(1) (2002)
5. Clairambault, P., Gutierrez, J., Winskel, G.: The winning ways of concurrent games. In: LICS. IEEE Comp. Soc. (2012)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献