Author:
Kiefer Stefan,Murawski Andrzej S.,Ouaknine Joël,Wachter Björn,Worrell James
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference46 articles.
1. Abramsky S (2002) Algorithmic games semantics: a tutorial introduction. In: Schwichtenberg H, Steinbruggen R (eds) Proof and system reliability. Kluwer Academic, Dordrecht, pp 21–47. Proceedings of the NATO Advanced Study Institute, Marktoberdorf
2. Lecture notes in computer science;S Abramsky,1997
3. Abramsky S, McCusker G (1998) Game semantics. In: Schwichtenberg H, Berger U (eds) Logic and computation. Springer, Berlin. Proceedings of the 1997 Marktoberdorf Summer School
4. Abramsky S, Jagadeesan R, Malacaria P (2000) Full abstraction for PCF. Inf Comput 163:409–470
5. LNCS;F Bause,1998
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献