Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea - Kim, Myungchul; Chin, Byoungmoon; Kang, Sungwon; Lee, Danhyung (Springer US, 2002)