Authors: Burns, A Wellings, AJ Burns, F Koelmans, AM Koutny, M Romanovsky, A Yakovlev, A

Citation: A. Burns et al., Modelling and verification of an atomic action protocol implemented in Ada, COMP SYS SC, 16(3), 2001, pp. 173-182

Authors: Rogers, P Wellings, AJ

Citation: P. Rogers et Aj. Wellings, An incremental recovery cache supporting software fault tolerance mechanisms, COMP SYS SC, 15(1), 2000, pp. 33-48

Authors: Rogers, P Wellings, AJ

Citation: P. Rogers et Aj. Wellings, State restoration in Ada 95: a portable approach to supporting software fault tolerance, J SYST SOFT, 50(3), 2000, pp. 237-255

Authors: Wellings, AJ

Citation: Aj. Wellings, Integrating object-oriented programming and protected objects in Ada 95, ACM T PROGR, 22(3), 2000, pp. 506-539

Authors: Mitchell, SE Wellings, AJ Romanovsky, A

Citation: Se. Mitchell et al., Distributed atomic actions in Ada 95, COMPUTER J, 41(7), 1998, pp. 486-502