菲利普·加德纳 吉田信子 CONCUR 2004——并发理论，第15届国际会议，2004年8月31日至9月3日，英国伦敦，会议记录 CONCUR公司 计算机科学课堂讲稿 3170 施普林格 2004 3-540-22940-X号 https://doi.org/10.1007/b100113 db/conf/concr/concr2004.html