Author:
Ghica D.R.,Murawski A.S.,Ong C.-H.L.
Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. S. Abramsky, Beyond full abstraction: model-checking for Algol-like languages, series of lectures given at the Marktoberdorf Summer School, 2001.
2. S. Abramsky, D.R. Ghica, A.S. Murawski, C.-H.L. Ong, Applying game semantics to compositional software modelling and verification, in: Proc. TACAS, Lecture Notes in Computer Science, Vol. 2988, Springer, Berlin, 2004, pp. 421–435.
3. S. Abramsky, K. Honda, G. McCusker, Fully abstract game semantics for general references, in: Proc. IEEE Symp. Logic in Computer Science, Computer Society Press, Rockville, MD, 1998, pp. 334–344.
4. Full abstraction for PCF;Abramsky;Inform. and Comput.,2000
5. Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions;Abramsky,1997
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying higher-order concurrency with data automata;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
2. Leafy automata for higher-order concurrency;Lecture Notes in Computer Science;2021
3. Latent semantic analysis of game models using LSTM;Journal of Logical and Algebraic Methods in Programming;2019-08
4. On the Learnability of Programming Language Semantics;Electronic Proceedings in Theoretical Computer Science;2017-11-29
5. On the Relation of Interaction Semantics to Continuations and Defunctionalization;Logical Methods in Computer Science;2014-12-16