芭芭拉·科尼格0001 乌戈·蒙塔纳里 菲利普·加德纳 04241摘要集-分布式和移动系统建模的图变换和过程代数。 2004 conf/dagstuhl/2004P4241 分布式和移动系统建模的图变换和过程代数 http://drops.dagstuhl.de/opus/volltexte/2005/27 db/conf/dagstuhl/P4241.html#KonigMG04