Game Semantics for Access Control
Abramsky, S
Jagadeesan, R
Electronic Notes in Theoretical Computer Science
volume 249
135-156
(08 Aug 2009)
doi:10.1016/j.entcs.2009.07.088
From IF to BI : A tale of dependence and separation
Abramsky, S
Väänänen, J
Synthese
volume 167
issue 2
207-230
(01 Mar 2009)
doi:10.1007/s11229-008-9415-6
Types, orthogonality and genericity: Some tools for communicating process architectures
Abramsky, S
Concurrent Systems Engineering Series
volume 66
1-13
(28 Oct 2008)
doi:10.3233/978-1-58603-907-3-1
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