Publications


2017

  1. Abstract Specifications for Concurrent Maps

    • Shale Xiong
    • Pedro da Rocha Pinto
    • Gian Ntzik
    • Philippa Gardner

    Proceedings of the 26th European Symposium on Programming (ESOP)

2015

  1. Reason About Concurrent Programs

    • Shale Xiong

    Imperial College London