Secd-m: a virtual machine for applicative programming
Abramsky, S
Sykes, R
Lecture Notes in Computer Science
volume 201
81-98
(08 Jun 1985)
Preface
Abramsky, S
Theoretical Computer Science
volume 135
issue 1
3-4
(Dec 1994)
A type-theoretic approach to deadlock-freedom of asynchronous systems
Abramsky, S
Gay, S
Nagarajan, R
Lecture Notes in Computer Science
volume 1281
295-320
(09 Jun 1997)
Game semantics for programming languages
Abramsky, S
Lecture Notes in Computer Science
volume 1295
1-4
(17 Jun 1997)
Specifying interaction categories
Pavlović, D
Abramsky, S
Lecture Notes in Computer Science
volume 1290
147-158
(20 Jun 1997)
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)