Reasoning about concurrent systems: a functional approach by Abramsky, S

Big Toy Models: Representing Physical Systems As Chu Spaces by Abramsky, S

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories by Abramsky, S

Sequentiality vs. concurrency in games and logic by Abramsky, S

A Domain Equation for Bisimulation by Abramsky, S

Domain Theory in Logical Form by Abramsky, S

A Structural Approach to Reversible Computation by Abramsky, S

Temperley–lieb algebra: from knot theory to logic and computation via quantum mechanics by Abramsky, S

Robin Milner's Work on Concurrency by Abramsky, S

A Cook's Tour of the Finitary Non−Well−Founded Sets by Abramsky, S

Coalgebras‚ Chu Spaces‚ and Representations of Physical Systems by Abramsky, S

High−Level Methods for Quantum Computation and Information by Abramsky, S

What are the fundamental structures of concurrency? We still don't know! by Abramsky, S

Whither semantics? by Abramsky, S

From IF to BI: A tale of dependence and separation () by Abramsky, S

Semantic Foundations for Applicative Multiprogramming by Abramsky, S

Concurrent Interaction Games by Abramsky, S

Abstract Interpretation‚ Logical Relations and Kan Extensions by Abramsky, S

Axioms for Definability and Full Completeness by Abramsky, S

Computational Interpretations of Linear logic by Abramsky, S