この資料をSMS送信: Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz.