亚历山德拉·切鲁比尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 Cospan-Span模型中的计时。 81-97 2003 conf/cometa/2003 科梅塔 https://doi.org/10.1016/j.entcs.2004.08.020 db/journals/entcs/entcs104.html#CherubiniSW04