Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.

Thomas Chatain, Paul Gastin, Nathalie Sznajder

Browse the full SOFSEM paper archive.