Abstract Specifications for Concurrent Maps

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54434-1_36 ◽

2017 ◽

pp. 964-990 ◽

Author(s):

Shale Xiong ◽

Pedro da Rocha Pinto ◽

Gian Ntzik ◽

Philippa Gardner

Download Full-text