Select Publications

Journal articles

Su RC; Colvin RJ, 2026, 'Weak Memory Model Formalisms: Introduction and Survey', Concurrency and Computation Practice and Experience, 38, http://dx.doi.org/10.1002/cpe.70484

Soo K-U; Stokes T, 2019, 'Algebraic properties of if-then-else and commutative three-valued tests', INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 29, pp. 743 - 759, http://dx.doi.org/10.1142/S0218196719500255


Back to profile page