Synthesis of Large Concurrent Programs via Pairwise Composition.

Paul C. Attie

Browse the full CONCUR paper archive.