Abstract Specifications for Concurrent Maps Shale Xiong Pedro da Rocha Pinto Gian Ntzik Philippa Gardner Proceedings of the 26th European Symposium on Programming (ESOP)