この資料をSMS送信: CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings / W.R. Cleaveland, ed.