Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. S. Abramsky, R. Jagadeesan, P. Malacaria: Full abstraction for PCF, (submitted for publication, 1996)
2. S. Abramsky: Retracing some paths in process algebra, Springer Lecture Notes in Computer Science 1119, 1–17, 1996
3. S. Abramsky, G. McCusker: Linearity, Sharing and State, In Algol-like languages, ed. P.O'Hearn and R.D. Tennent, 317–348, Birkhauser, 1997
4. S. Abramsky, G. McCusker: Full Abstraction for Idealized Algol with Passive Expressions, (submitted for publication, 1997)
5. S. Abramsky, G. McCusker: Call-by-value games (submitted for publication, 1997)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-angelic Concurrent Game Semantics;Lecture Notes in Computer Science;2018
2. Algorithmic probabilistic game semantics;Formal Methods in System Design;2012-09-20
3. Constructive semantics for instantaneous reactions;Theoretical Computer Science;2011-03
4. Domain theory for concurrency;Theoretical Computer Science;2004-05
5. Bibliography;Towards a Philosophy of Real Mathematics;2003-04-24