1. Complexity Results for Checking Distributed ImplementabilityKeijo Heljanko1 Alin Stef˘nescu2¸ a speaking 1 Helsinki University of Technology 2 University of Stuttgart7–June–2005…
