分布式和移动系统建模的图变换和过程代数 芭芭拉·科尼格0001 乌戈·蒙塔纳里 菲利普·加德纳 04241 2005 达格斯图尔研讨会记录 IBFI，德国达格斯图尔宫 db/conf/dagstuhl/P4241.html http://drops.dagstuhl.de/portals/04241/