Nominal games and full abstraction for the nu-calculus
Abramsky, S
Ghica, D
Murawski, A
Ong, C
Stark, I
Proceedings Symposium on Logic in Computer Science
volume 19
150-159
(01 Jan 2004)
A categorical semantics of quantum protocols
Abramsky, S
Coecke, B
Proceedings Symposium on Logic in Computer Science
volume 19
415-425
(01 Jan 2004)
High-level methods for quantum computation and information
Abramsky, S
Proceedings Symposium on Logic in Computer Science
volume 19
410-414
(01 Jan 2004)
Petri Nets, discrete physics, and distributed quantum computation
Abramsky, S
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 4546 LNCS
1-2
(01 Jan 2007)
Full completeness: Interactive and geometric characterizations of the space of proofs
Abramsky, S
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 4646 LNCS
1-2
(01 Jan 2007)
Applying game semantics to compositional software modeling and verification
Abramsky, S
Ghica, D
Murawski, A
Luke Ong, C
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 2988
421-435
(01 Jan 2004)
Event Domains, Stable Functions and Proof-Nets
Abramsky, S
Electronic Notes in Theoretical Computer Science
volume 172
33-67
(01 Apr 2007)
A categorical quantum logic
Abramsky, S
Duncan, R
Mathematical Structures in Computer Science
volume 16
issue 3
469-489
(01 Jun 2006)
What are the Fundamental Structures of Concurrency?. We still don't know!
Abramsky, S
Electronic Notes in Theoretical Computer Science
volume 162
issue 1
37-41
(29 Sep 2006)
Algorithmic game semantics and static analysis
Abramsky, S
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
volume 3672 LNCS
1
(01 Jan 2005)