Title: Duality and the bounded-buffer problem
Subjects: Computer programs