發送短信 : Translating programs into delay-insensitive circuits /