Process Realizability (Abstract)
 Abramsky, S Electronic Notes in Theoretical Computer Science volume 23 issue 1 1-2 (1999)
On semantic foundations for applicative multiprogramming
 Abramsky, S Lecture Notes in Computer Science volume 154 1-14 (26 Dec 1983)
Specification Structures and propositions-as-types for concurrency
 Abramsky, S Gay, S Nagarajan, R Lecture Notes in Computer Science volume 1043 5-40 (02 Jun 1996)
A fully abstract game semantics for general references
 Abramsky, S Honda, K McCusker, G Proceedings 11th Annual IEEE Symposium on Logic in Computer Science 334-344 (01 Jan 1998)
Foreword (18 Apr 2014)
Strictness analysis and polymorphic invariance
 Abramsky, S 1-23 (29 May 1986)
Preface Abramsky, S Maibaum, T (01 Jan 1991)
Preface Pitt, D Curien, P Abramsky, S Pitts, A Poigne, A Rydeheard, D (01 Jan 1991)
Quantales, observational logic and process semantics
 Abramsky, S Vickers, S Mathematical Structures in Computer Science volume 3 issue 2 161-227 (04 Jun 1993)
The theory of strictness analysis for higher order functions
 Burn, G Hankin, C Abramsky, S Lecture Notes in Computer Science volume 217 42-62 (29 May 1986)
Subscribe to