Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abramsky, S.: Semantics of interaction: an introduction to game semantics. In: Proceedings of the 1996 CLiCS Summer School, pp. 1–31. Cambridge University Press, Cambridge (1997)
2. Lecture Notes in Computer Science;R. Alur,1998
3. Blass, A.: A game semantics for linear logic. Annals of Pure and Applied Logic 56, 183–220 (1992); Special Volume dedicated to the memory of John Myhill
4. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Trans. Amer. Math. Soc. 138, 295–311 (1969)
5. Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal Selected Areas in Communications 8(1), 127–142 (1990)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献