Revising Distributed UNITY Programs Is NP-Complete.

Borzoo Bonakdarpour, Sandeep S. Kulkarni

Browse the full OPODIS paper archive.