Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21<sup>st</sup> International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea

Myungchul Kim Byoungmoon Chin Sungwon Kang Danhyung Lee Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21<sup>st</sup> International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea FORTE IFIP Conference Proceedings 197 Kluwer 2001 0-7923-7470-3 db/conf/forte/forte2001.html