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. (Kluwer Academic Publishers,)