この資料をSMS送信: A denotational model and composition theorems for a calculus of delay-insensitive specifications /