Synthesis of concurrent modular controllers from algorithmic descriptions.

Rainer Brck, Bernd Kleinjohann, Thomas Kathfer, Franz J. Rammig

Browse the full DAC paper archive.