On Equation Determination of Concurrent Model Components Based on Derivative Graph

• 并发模型构件的状态迁移派生图及等价判定