A completeness theorem for a class of synchronization objects

From MaRDI portal
Publication:5361376