Contract-Directed Synthesis of Simple Orchestrators.

Luca Padovani

Browse the full CONCUR paper archive.