迈克尔·费希尔0001 并发元的时间语义。 627-648 1996 22 J.塞姆。计算。 5/6 db/journals/jsc/jsc22.html#Fisher96 https://doi.org/10.1006/jsco.1996.0069