https://doi.org/10.1145/3629527.3651423
http://link.springer.com/10.1007/s11225-020-09931-0
http://link.springer.com/10.1007/s13347-019-00370-x
https://doi.org/10.1145/3149823
网址:http://link.springer.com/10.1007/978-3-319-71237-6_11
https://doi.org/10.1145/2933575.2933581
https://doi.org/10.1007/978-3-662-48899-7_21
https://doi.org/10.1145/2692915.2628147
https://doi.org/10.1145/2628136.2628147
http://link.springer.com/10.1007/978-3-319-08918-8_1
http://link.springer.com/10.1007/978-3-642-45221-5_19
/doi/10.5555/2021953.2021973
http://link.springer.com/10.1007/s00354-010-0099-3
http://link.springer.com/10.1007/978-3-642-21691-6_18
https://doi.org/10.1145/1932681.1863551
https://doi.org/10.1145/1863543.1863551
https://linkinghub.elsevier.com/retrieve/pii/S0168007210000515
http://link.springer.com/10.1007/978-3-642-15240-5_13
https://doi.org/10.1007/978-3-642-10672-9_18
https://doi.org/10.1007/978-3-642-11623-0_11
https://doi.org/10.1016/j.entcs.2009.02.031
https://doi.org/10.1145/1462179.1462184
https://doi.org/10.1017/S0960129508006762
https://doi.org/10.1145/1328897.1328484
https://doi.org/10.1145/1328438.1328484
https://doi.org/10.1007/s10990-007-9007-z
/doi/10.5555/1784774.1784814
/doi/10.5555/1784774.1784813
https://doi.org/10.1016/j.tcs.2006.12.026
http://link.springer.com/10.1007/978-3-540-76637-7_28
https://doi.org/10.109/LICS.2006.29
https://doi.org/10.1007/11591191_13
https://doi.org/10.1016/j.entcs.2005.06.010
https://doi.org/10.109/LICS.2005.48
https://doi.org/10.1109/LICS.2005.44
https://doi.org/10.1007/978-3-540-32033-3_16
https://doi.org/10.1007/978-3-540-32033-3_15
https://doi.org/10.1016/j.ic.2004.04.002
https://doi.org/10.1145/1013963.1013982
https://doi.org/10.1016/j.ic.2003.08.004
https://doi.org/10.1145/944746.944724
https://doi.org/10.1145/9944746.944723
https://doi.org/10.1145/944705.944724
https://doi.org/10.1145/944705.944723
/doi/10.5555/1759210.1759295
https://doi.org/10.1016/S0304-3975(01)00380-2
http://link.springer.com/10.1007/978-94-017-1291-0_2
https://doi.org/10.1145/509799.503043
https://doi.org/10.1145/503032.503043
http://ieeexplore.ieee.org/document/1029835/
http://link.springer.com/10.1007/3-540-45927-8_10
http://link.springer.com/10.1007/3-540-45793-3_34
http://link.springer.com/10.1007/3-540-45793-3_33
http://linkinghub.elsevier.com/retrieve/pii/S1571066104002816
http://linkinghub.elsevier.com/retrieve/pii/S1571066104808788
http://link.springer.com/10.1007/3-540-45500-0_23
http://www.rairo-ita.org/10.1051/ita:2000102
https://doi.org/10.1145/357766.351262
https://doi.org/10.1145/351240.351262
http://linkinghub.elsevier.com/retrieve/pii/S1571066105807340
http://link.springer.com/10.1007/3-540-44929-9_34
http://link.springer.com/10.1007/3-540-44622-2_32
http://link.springer.com/10.1007/3-540-44622-2_26
http://link.springer.com/10.1007/3-540-44622-2_19
http://link.springer.com/10.1007/3-540-44450-5_36
https://doi.org/10.1017/S0956796899003512
http://link.springer.com/10.1007/3-540-48959-2_13
http://link.springer.com/10.1007/BFb0055911
http://link.springer.com/10.1007/BFb0055783
http://link.springer.com/10.1007/3-540-49366-2_5
http://ieeexplore.ieee.org/document/614964/
http://ieeexplore.ieee.org/document/614931/
http://linkinghub.elsevier.com/retrieve/pii/S1571066105801707
http://link.springer.com/10.1007/3-540-63875-X_62
http://link.springer.com/10.1007/3-540-63577-7_43