1. Domain theory in logical form;Abramsky;Annals of Pure and Applied Logic,1991
2. Retracing some paths in process algebra;Abramsky,1996
3. Interaction, Combinators and Complexity;Abramsky,1997
4. Algorithmic game semantics: a tutorial introduction;Abramsky,2002
5. A structural approach to reversible computation;Abramsky;Theoretical Computer Science,2005