この資料をSMS送信: On the expressive power of CSP extended by priority