Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Abramsky, S., Retracing some paths in process algebra, in: CONCUR, 1996, pp. 1–17.
2. Full abstraction for PCF;Abramsky;Inf. Comput.,2000
3. Abramsky, S. and G. McCusker, Game semantics, in: Proceedings of the 1997 Marktoberdorf Summer School, 1997.
4. Ghica, D.R., Geometry of Synthesis: a structured approach to VLSI design, in: POPL, 2007, pp. 363–375.
5. Ghica, D.R., Applications of game semantics: From software analysis to hardware synthesis, in: LICS, 2009, pp. 17–26.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Space of Interaction;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
2. The (In)Efficiency of interaction;Proceedings of the ACM on Programming Languages;2021-01-04
3. Kami: a platform for high-level parametric hardware specification and its modular verification;Proceedings of the ACM on Programming Languages;2017-08-29
4. Semantics of higher-order quantum computation via geometry of interaction;Annals of Pure and Applied Logic;2017-02
5. Interaction Graphs;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05