Abstract Specifications for Concurrent Maps.

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

Browse the full ESOP paper archive.