1. S. Abramsky, Game semantics of idealized Parallel Algol, Lecture given at the Newton Institute, 1995
2. Linearity, sharing and state: A fully abstract game semantics for Idealized Algol with active expressions;Abramsky,1996
3. Concurrent games and full completeness;Abramsky,1999
4. Concurrent Programming: Principles and practice;Andrews,1991
5. Full abstraction for a shared variable parallel language;Brookes,1993