發送短信: High-Level Models of Unconventional Computations