Vertragsgestützte Synthese in Zwei-Objekt Paritätsspielen ermöglicht effiziente verteilte logische Steuerung.
