Authors: Thomsen, B Abramsky, S

Citation: B. Thomsen et S. Abramsky, A fully abstract denotational semantics for the calculus of higher-order communicating systems, THEOR COMP, 254(1-2), 2001, pp. 557-589

Authors: Abramsky, S Jagadeesan, R Malacaria, P

Citation: S. Abramsky et al., Full abstraction for PCF, INF COMPUT, 163(2), 2000, pp. 409-470

Authors: Abramsky, S

Citation: S. Abramsky, Axioms for definability and full completeness, FOUNDAT COM, 2000, pp. 55-75

Authors: Abramsky, S McCusker, G

Citation: S. Abramsky et G. Mccusker, Full abstraction for Idealized Algol with passive expressions, THEOR COMP, 227(1-2), 1999, pp. 3-42

Authors: Abramsky, S Gay, SJ Nagarajan, R

Citation: S. Abramsky et al., A specification structure for deadlock-freedom of synchronous processes, THEOR COMP, 222(1-2), 1999, pp. 1-53

Authors: Abramsky, S Blute, R Panangaden, P

Citation: S. Abramsky et al., Nuclear and trace ideals in tensored -categories, J PURE APPL, 143(1-3), 1999, pp. 3-47