进程代数研究的核心内容之一是讨论进程之间的行为等价或精化关系。传统的行为等价或精化关系不考虑动作的类型，它们不适合处理具有输入输出的计算模型。最近，Fábregas等人基于动作的分类提出并研究了共变-逆变模拟。目前所有关于共变-逆变模拟的讨论均是基于它的强形式（即，对内、外动作的处理不加区分）。而对于现实计算更有意义的弱形式下的共变-逆变模拟，尚未发现有相关工作的报道。本文对弱形式的共变-逆变模拟进行了研究，主要工作包括如下方面：（1）给出了一种弱共变-逆变模拟及其模态逻辑特征。（2）较深入地研究了包含在弱共变-逆变模拟关系中的最大前同余关系——可观测共变-逆变模拟。给出了可观测共变-逆变模拟的公理系统AX cc，并证明了该公理系统的可靠及基完备性。（3）证明了当互变动作集为无限集时，BCCSP的两个公理系统AX1BCCSP和AX2BCCSP分别相对于强共变-逆变模拟与可观测共变-逆变模拟是完备的，进而得出这两个公理系统也是强完备的。