Distributed Synthesis for Regular and Contextfree Specifications.

Wladimir Fridman, Bernd Puchala

Browse the full MFCS paper archive.