1. Computational interpretations of linear logic;Abramsky;Theoret. Comput. Sci.,1993
2. Interaction categories (extended abstract);Abramsky,1993
3. Interaction categories and communicating sequential processes;Abramsky,1994
4. Specification structures and propositions-as-types for concurrency;Abramsky,1996
5. Concurrent games and full completeness;Abramsky,1999