Geometry of interaction II: Deadlock-free algorithms (1989)

by American Mathematical Society, Rhode Island Providence, USA