Object Types against Races

CONCUR’99 Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48320-9_21 ◽

1999 ◽

pp. 288-303 ◽

Cited By ~ 17

Author(s):

Cormac Flanagan ◽

Martín Abadi