在现有的并发分布式系统中，信息的发送往往是非阻塞的，必须采用异步的通信方式。而实际的程序设计严格区分输入和输出动作，即非对称通信。本文研究一个新进程演算，即异步非对称Chi演算。异步非对称Chi演算是目前最接近于现有的分布式程序设计语言的形式化演算，值得深入研究。我们研究异步非对称Chi演算的互模拟关系，从而为进一步研究该演算的互模拟同余公理化铺平道路。 本文定义了异步非对称Chi演算的语法和操作语义，通过统一框架定义了一组L-互模拟关系。但是这些互模拟关系大部分是重叠的，可把它们分成几个组，每个组内的互模拟关系完全相同。可以从每个组中取出一个互模拟关系，作为该组的代表元，按这些代表元之间的包含关系构造异步非对称Chi演算的互模拟格。本文研究了与互模拟格中最大元相关的barbed互模拟关系。