短語詞組短語partial l order relation 部分序關系partial -order temporal module scheme 偏序時態(tài)模塊模式semi -partial-order 半半序Partial -Order Shipment Policy 部份訂單運送政策stateful dynamic partial -order reduc 有狀態(tài)動態(tài)偏序縮減non -strict partial-order temporal type set 非嚴格偏序時態(tài)類型集 返回 partial order