提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:conf/dagstuhl/KonigMG04文件巴巴拉·科尼格澳大利亚-乌戈蒙塔纳里澳大利亚-菲利普·加德纳TI-04241抽象集-用于建模分布式和移动系统的图变换和过程代数。分布式和移动系统建模的BT图变换和过程代数，6.-11。2004年6月2004年上半年//UR-（欧元）http://drops.dagstuhl.de/opus/volltexte/2005/27急诊室-