Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Samson Abramsky. Semantics of Interaction, in Semantics and Logic of Computation, ed A. Pitts and P. Dibyer, Cambridge, 1997.
2. Malcolm Atkinson, Peter Buneman. Types and Persistence in Database Programming Languages, ACM Computing Surveys 19:2, 1987
3. Jon Barwise, Lawrence Moss. Vicious Circles, CSLI Lecture Notes #60, Cambridge University Press, 1996.
4. Manfred Broy. Compositional Refinement of Interactive Systems, Digital Systems Research Center, SRC 89, 1992
5. Oded Goldreich. Modern Cryptography, Probabilistic Proofs and Pseudorandomness. Springer, 1999.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献