A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks

Christian Lengauer, Chua-Huang Huang. A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. In POPL. pages 307-317, 1986.

Abstract

Abstract is missing.