TY  - GENERIC
DO  - 10.20944/preprints202305.0049.v1
UR  - http://dx.doi.org/10.20944/preprints202305.0049.v1
TI  - Analysis of Concurrent Systems Based on Interval Order
T2  - Preprints
AU  - Xu, Yang
AU  - Chen, YE
AU  - Jun, Chen Yi
PY  - 2023
DA  - 2023/05/02
PB  - Preprints