The best of both worlds: the efficient asynchronous implementation of synchronous specifications