Abstract: Author: Yoo Chul ChungDocument: Publication date: 2010Citation: Yoo Chul Chung. Formal Analysis Framework for Lossy Interface Adapter Chaining. PhD thesis, KAIST, February 2010.