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 5065 LNCS 527-543 (01 Jul 2008) doi:10.1007/978-3-540-68679-8_33
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) doi:10.1109/lics.2004.1319609
A categorical semantics of quantum protocols
 Abramsky, S Coecke, B Proceedings Symposium on Logic in Computer Science volume 19 415-425 (01 Jan 2004) doi:10.1109/lics.2004.1319636
High-level methods for quantum computation and information
 Abramsky, S Proceedings Symposium on Logic in Computer Science volume 19 410-414 (01 Jan 2004) doi:10.1109/lics.2004.1319635
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) doi:10.1007/978-3-540-73094-1_1
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) doi:10.1007/978-3-540-74915-8_1
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) doi:10.1007/978-3-540-24730-2_32
Event Domains, Stable Functions and Proof-Nets
 Abramsky, S Electronic Notes in Theoretical Computer Science volume 172 33-67 (01 Apr 2007) doi:10.1016/j.entcs.2007.02.003
A categorical quantum logic
 Abramsky, S Duncan, R Mathematical Structures in Computer Science volume 16 issue 3 469-489 (01 Jun 2006) doi:10.1017/S0960129506005275
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) doi:10.1016/j.entcs.2005.12.075
Subscribe to